Adjunction: の同値な定義がいろいろある。 Hom-set adjunction 以下から成る代数的構造: functor (left adjoint) functor (right adjoint) natural isomorphism 命題 はnatural と は共にnatural Counit-unit adjunction 以下から成る代数的構造: functor (…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。