Weighted limit による enriched Yoneda lemma
Enriched Yoneda lemma with hom functors @deprecated
- -functor:
について
-
- -natural in
Enriched Yoneda lemma via weighted limits
-functor:
について
-
- -natural in
証明
Enriched Yoneda lemma - PS で特に とすると
証明 @deprecated
Enriched Yoneda lemma with hom functors で特に
とすると
-
- -natural in
となるが、representation の mediating bijection は naturality を preserve するので。
命題: Weighted limits in self-enriched categories
(Enriched hom functors preserve weighted limits - PS も参照)
functor:
について
-
- -natural in
証明
右辺から左辺:
左辺から右辺:
系
Enriched Yoneda lemma via weighted limits とより enriched Yoneda lemma を導ける:
Co-Yoneda lemma @deprecated
Enriched Yoneda lemma via weighted limits で特に
とすると