イコライザ
equalizer
脳天を浸せイコライザ〜♪
https://gyazo.com/b4365d613b6e84fdd0e6440ef7bc8f03
圏$ \mathscr{A}の対象$ A,B,E,Xと射$ f,g
①が成り立つような$ Eを考える
$ f\circ e=g\circ eが成り立つ
これのことをフォークと呼ぶらしい ref ベシ圏.icon p.135 ②について、①と同様の条件が成り立つ$ Xがあるとき
③がが可換になる
$ u:X\rightarrow Eが一意に存在して、
$ e\circ u=xとなる
https://gyazo.com/db30c6b0b726ee2a7f49c5a3059ce020
例
集合$ Aから集合$ Bへの2つの写像$ f,g:A\rightrightarrows Bについて
集合$ \{a\in A|f(a)=g(a)\}のことを$ f,gのイコライザという
言っていることはわかるが、名前を付けるほど嬉しい理由がわからない..mrsekut.icon