generated at
2/21/2025, 9:06:43 PM
コイコライザー
coequalizer
余等化子
コイコライザーは
エピ射
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
イコライザー
