Preservation of enriched natural-lookingness
記法
以下、
- (closed symmetric) monoidal category:
-category:
self-enriching
において・・・
"Extra"composition により
Vertical composition により -natural-lookingness
は compose 可能であるが、
-extranatural-lookingness も compose(的なもの)によって preserve される:
Self-enriching により
Right-whiskering により
-morphism の族:
について
Yoneda bijection により
Yoneda bijection の族:
について
左辺 が
について
-natural-looking
右辺 が
について
-extranatural-looking
参考文献
- Basic Concepts of Enriched Category Theory 1.7, 1.8 (a)