generated at
2/21/2025, 9:05:35 PM
イコライザー
equalizer
等化子
イコライザーは
モノ射
c=\mathrm{eq}(f,g)
と書くこともある
圏
C
の平行する射
f,g\colon a \to b
のイコライザーは
極限
\lim T
where
T\colon J \to C
J \coloneqq \{1 \rightrightarrows 2\}
T(1)=a ,\ T(2)=b
コイコライザー
Steve Awodey. Category Theory
