>759
ありがとうございます。

>>>757
> 「圏論の基礎」の p.11 を写し間違えている？

はい、そうです。ちょっと難しくて。。


> 普通は O は「対象の集合」だと思うけど．

という事は何らかの対象がGがあってO=Ob(G)となっているのですよね。


> 対象の集合だとすれば話は簡単で，
> 例えば（普通の意味の）グラフ G = (V, E) を

すいません。グラフの定義が分かりません。
調べては見たのですが写像の像がグラフだと思いますので
圏論では射の像,つまりcodfがグラフに相当するのでしょうか?