命題 Symmetric monoidal category において、-functor の族: が および を満たすならば を満たすただ一つの -bifunctor: になる。 系 -functor が を満たすならば 参考文献 Basic Concepts of Enriched Category Theory Bifunctor lemma - PS
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。