2-equalizer
Kの0-cell A, Bと1-cell f, g:A \to Bについて、そのequalizerとは0-cell Eと1-cell e:E \to A及び可逆な2-cell \phi:ef \to egの組で、普遍性を満たすもの
- 0-cellに対する普遍性。
任意の0-cell X, 1-cell h:X \to A及び可逆な2-cell \psi:fh \to fgに対し、1-cell d:X \to Eと可逆な2-cell \chi:h \to edが存在し、\psi=g\chi^{-1}.\phi d.f\chiを満たす。
- 1-cellに対する普遍性。
任意の1-cell h, k:X \to Eと2-cell \psi:eh \to ekであって\phi k.f\psi=g\psi.\phi hとなるものに対し、2-cell \chi:h \to kであってe\chi=\psiなるものが存在する。
どうも1-cellに対する条件がこれでいいのかわからないというか、しっくりこない。
次は下の記事を読んでみたい。
