(の定義が抜けていたので・・・) Preservation of ends -functor: および -end: について が -end となること。 記法 命題: Internal hom functors preserve ends (と呼ぶのが良さそう) 証明 記法 参考文献 Basic Concepts of Enriched Category Theory
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。