2013-07-26 Equalizer 定義 Limit Equalizer Diagram: のlimitを と のequalizerという。Coneのnaturalityが を表している。 命題 参考文献 equalizer in nLab