コイコライザー
coequalizer
余等化子
https://gyazo.com/7ec273de8033773332e64249207a3f3f
コイコライザーはエピ射
$ c=\mathrm{coeq}(f,g) と書くこともある
圏$ C の平行する射$ f,g\colon a \to b のコイコライザーは余極限$ \operatorname{colim}T
where$ T\colon J \to C
$ J \coloneqq \{1 \rightrightarrows 2\}
$ T(1)=a ,\ T(2)=b
dual.iconイコライザー