Enriched bifunctor lemma
命題
Symmetric monoidal category において、-functor の族:
が
および
を満たすならば
を満たすただ一つの -bifunctor:
になる。
系
-functor が
を満たすならば
Symmetric monoidal category において、-functor の族:
が
および
を満たすならば
を満たすただ一つの -bifunctor:
になる。
-functor が
を満たすならば