PS

Enriched evaluation functor

Enriched evaluation functor

 \mathcal{V}-functor category:

  •  [ \mathcal{A}, \mathcal{B} ]

について、 \mathcal{V}-functor:

  •  E : [ \mathcal{A}, \mathcal{B} ]  \otimes \mathcal{A} \to \mathcal{B}

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

f:id:mbps:20150504023627p:plain

これは Enriched natural-lookingness - PS の命題(bifunctor版) により確かに  \mathcal{V}-functorial。

参考文献