(こちらもやっておくのが筋だろうということで) Symmetric closed monoidal category において・・・ 命題: Yoneda isomorphisms via coends 証明 Yoneda isomorphsim の flip を curry に変えるだけ: 参考文献 end in nLab Co-Yoneda lemma - PS
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。