圏は対象と射の集まりなので、頂点と辺（矢印）の集まりである有向グラフで図示できます。例えば、次の図はある圏を表していることになります。正確に言えば、この有向グラフは圏そのものではなくて、圏の生成系です。実際の圏を作るには、グラフの各頂点Xに…

コメント欄 http://d.hatena.ne.jp/m-hiyama/20130318/1363563919#c1363614093 にて、emoyanさん曰く： >余演算は ...inc: Hidden×Integer→Hideen は許されないのです。許されないというのはどういう意味ででしょうか？inc: Hidden×Integer→Hideen とすると…