共変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) に写す。 さて… 下のは何で反変せにゃいかんのだろう?(ぉぃ しみじみと考え中につきメモ。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。