Enriched evaluation functor -functor category: について、-functor: を次のように定義できる: これは Enriched natural-lookingness - PS の命題(bifunctor版) により確かに -functorial。 参考文献 Basic Concepts of Enriched Category Theory
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。