Enriched bifunctoriality
Enriched bifunctoriality
- symmetric monoidal category
- -functor
について、その -functoriality とは、以下が成立することであった。
Partial application of enriched bifunctors
上記の および について、-functor:
を次のように定義できる:
同様に について、-functor:
を次のように定義できる:
命題
Enriched bifunctor lemma
Bifunctor lemma - PS と同様の命題が enriched な世界でも成立する: