Enriched end functor
Symmetric closed monoidal category において・・・
Enriched end 1-functor
Ending -wedge の族:
が存在するならば、1-functor
を次のように定義できる:
系
命題
-functor:
について、ending -wedge の族:
が存在するならば
- -natural-looking in
なる -infrafunctor:
がただ一つ存在し、しかも -functorial。
(Enriched Yoneda embedding - PS も参照)
証明
Enriched end - PS の命題を使って
とすればよい。
Naturality preservation
による end bijection の族:
について
- 左辺 が について -natural-looking 右辺 が について -natural-looking
参考文献
*1:Functors preserve iso.