>具体的対象ぬきで数学をやる。すごい世界だ…。

やっていくうちに射も具体的対象に思えてくる。
っていうか、数学の対象っていうのはいかに具体的でも抽象的だろ。
数の１、２、３、．．．だって抽象的だ。
だから圏がいかに抽象的といってもたいして変わらない。
整数全体の集合だって圏だしな。
関係 1 ＜ 2 は射だ。