PS

Naturality of Yoneda bijections

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

参考文献

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