2015-11-16 Coproduct と coequalizer からの coend 圏論 命題 Enriched End 命題 Coproduct と coequalizer から coend が作れる。 証明 -enriched functor: について とすると は coending cowedge になる。 参考文献 Basic Concepts of Enriched Category Theory end in nLab