PS

Coproduct と coequalizer からの coend

命題

  • Coproduct と coequalizer から coend が作れる。

証明

 \mathcal{V}-enriched functor:

  •  F: \mathcal{C} ^ {\operatorname{op}} \otimes \mathcal{C} \to (\mathcal{V})

について

f:id:mbps:20151116202627p:plain

とすると

f:id:mbps:20151116012920p:plain

は coending cowedge になる。

参考文献