PS

Fork

Fork

圏論でよく見かける

  •  f \circ e = g \circ e

を満たすdiagram:

f:id:mbps:20140727113941p:plain

のことをforkという。*1

Equalizer diagramはforkの一種。

参考文献

*1:フォークの形をしているから?