PS

Enriched co-Yoneda isomorphisms

(こちらもやっておくのが筋だろうということで)

Symmetric closed monoidal category  \mathcal{V} において・・・

命題: Yoneda isomorphisms via coends

  •  FK \cong \textstyle\int ^ A \mathcal{A}(A, K) \otimes FA
    •  F : \mathcal{A} \to (\mathcal{V})

証明

Yoneda isomorphsim の flip を curry に変えるだけ:

f:id:mbps:20151119170349p:plain

f:id:mbps:20151119170353p:plain

参考文献