Enriched evaluation functor
Enriched evaluation functor
-functor category:
について、-functor:
を次のように定義できる:
これは Enriched natural-lookingness - PS の命題(bifunctor版) により確かに -functorial。
-functor category:
について、-functor:
を次のように定義できる:
これは Enriched natural-lookingness - PS の命題(bifunctor版) により確かに -functorial。