反変函手と双対圏 前回は函手を定義しましたが, もう一つ, 反変函手(contravariant functor)と言われるものがあります. が の恒等射ならば は の恒等射である. において が定義されているならば において が定義されており, である. 一つ目は通常の函手(共変…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。