共変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) に写す。 さて… 下のは何で反変せにゃいかんのだろう？（ぉぃ しみじみと考え中につきメモ。