PS

Enriched bifunctoriality

圏論 定義 Enriched

Enriched bifunctoriality

  • symmetric monoidal category \mathcal{V}
  • \mathcal{V}-functor T : \mathcal{A} \otimes \mathcal{B} \to \mathcal{C}

f:id:mbps:20150325193639p:plain

について、その \mathcal{V}-functoriality とは、以下が成立することであった。

f:id:mbps:20150325193646p:plain

f:id:mbps:20150325193653p:plain

Partial application of enriched bifunctors

上記の T および B \in \mathcal{B} について、 \mathcal{V}-functor:

  • T(\unicode{0x2013},B) : \mathcal{A} \to \mathcal{C}

を次のように定義できる:

f:id:mbps:20150325193701p:plain

同様に A \in \mathcal{A} について、 \mathcal{V}-functor:

  • T(A,\unicode{0x2013}) : \mathcal{B} \to \mathcal{C}

を次のように定義できる:

f:id:mbps:20150325193720p:plain

命題

f:id:mbps:20150325203447p:plain

Enriched bifunctor lemma

Bifunctor lemma - PS と同様の命題が enriched な世界でも成立する:

参考文献