PS

Equalizers in String diagrams

Fork

  •  m : \operatorname{fork}(f,g) \overset{\operatorname{Def}}{\iff} f \circ m = g \circ m

命題

  •  m : \operatorname{fork}(f,g) \implies m \circ h : \operatorname{fork}(f,g)

Equalizer

f:id:mbps:20151113172639p:plain

 \prod \pi にならって大文字と小文字でいいと思う。

参考文献