PS

Naturality of Yoneda bijections

圏論命題 Enriched Yoneda

1-naturality of Yoneda bijections

$K$ についての 1-naturality*1:

f:id:mbps:20150819220040p:plain

特に $F := \lambda _ A \mathcal{B}(B, TA)$ のときは

f:id:mbps:20150819220115p:plain

系

$\eta \cong \eta'$

つまり

f:id:mbps:20150819220650p:plain

で、かつ

$\operatorname{y}(\eta) :$ iso

ならば

$\operatorname{y}(\eta') :$ iso

参考文献

Basic Concepts of Enriched Category Theory

*1:comma category 間の 1-functoriality でもある