日本語では等化子

双対概念はコイコライザ

脳天を浸せイコライザ〜♪

圏\mathscr{A}の対象A,B,E,Xと射f,g

①が成り立つようなEを考える

f\circ e=g\circ eが成り立つ

これのことをフォークと呼ぶらしい ref p.135

②について、①と同様の条件が成り立つXがあるとき

③がが可換になる

u:X\rightarrow Eが一意に存在して、

e\circ u=xとなる

添字圏が自由箙

例

集合Aから集合Bへの2つの写像f,g:A\rightrightarrows Bについて

集合\{a\in A|f(a)=g(a)\}のことをf,gのイコライザという

Aの部分集合

言っていることはわかるが、名前を付けるほど嬉しい理由がわからない..