>>217
ありがとうございます。
>整除関係は順序だからね。
ということはまず、やはりGCDやLCMと通じると思ってよいのですね?
次に、順序というのはよくわからないのですが、整除関係は分かります。
この整除関係をわかりやすい例として考えれば、その中に圏論の概念は
全部入っているものなのでしょうか?
たとえば対象として自然数全体をとって、射として割り切れるをとった圏の場合は、
始対象は1で、終対象はなし。しかしイコライザは?と考えると、そもそも
2つの自然数の間に割り切れる関係は1つしかないはずなので、イコライザ
の概念は出てくる余地はなさそうだし・・・
そもそもこんな考え方であっているのでしょうか?
圏論を勉強するのはまだ早いのかもしれませんが、もし教えてくれると
うれしいです。