2-limit in nLab 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及び可逆…