bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

hom関手

共変hom関手
C(a,-) = hom(a,-): {\bf C} \to {\bf Set

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

反変hom関手
C(-,b) = hom(-,b): {\bf C^{op}} \to {\bf Set

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


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

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。