イコライザー
equalizer
等化子
https://gyazo.com/d9b56bf974ecfd57e060ac2c364e2763
イコライザーは
モノ射
$ 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
dual.icon
コイコライザー
reference.icon
Steve Awodey. Category Theory