命題 Coproduct と coequalizer から coend が作れる。 証明 -enriched functor: について とすると は coending cowedge になる。 参考文献 Basic Concepts of Enriched Category Theory end in nLab
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。