hom関手

共変hom関手

これは射 k:b → b' を関数 C(a,k) : hom(a,b) → hom(a,b') に写す。

反変hom関手

これは射 g:a → a' を関数 C(g,b) : hom(a',b) → hom(a,b) に写す。

さて…
下のは何で反変せにゃいかんのだろう？（ぉぃ
しみじみと考え中につきメモ。