Enriched Yoneda principle (weak form)
系
Enriched Yoneda lemma (weak form) - PS の特に
のとき
Enriched Yoneda embedding (weak form)
上記の系で特に を identity -functor とすると
となる。
Enriched Yoneda principle (weak form)
上記の対応は preserves iso:
証明
の -functoriality および lemma の bijectivity より。