2015-11-13 Equalizers in String diagrams 圏論 定義 String diagram Fork 命題 Equalizer と にならって大文字と小文字でいいと思う。 参考文献 fork in nLab Equaliser (mathematics) - Wikipedia, the free encyclopedia