Enriched co-Yoneda isomorphisms
(こちらもやっておくのが筋だろうということで)
Symmetric closed monoidal category において・・・
命題: Yoneda isomorphisms via coends
証明
Yoneda isomorphsim の flip を curry に変えるだけ:
(こちらもやっておくのが筋だろうということで)
Symmetric closed monoidal category において・・・
Yoneda isomorphsim の flip を curry に変えるだけ: