Zoran Skoda
split equalizer

A fork

is split if it can be embedded into a diagram

in which se=id As e = id_A, tg=id Bt g = id_B and tf=est f = e s (we used here Leibniz order for composition of morphisms).

Surely, ff and gg can be interchanged in the definition (a matter of unimportant convention).

Every split fork is an absolute equalizer, but not conversely. See also split coequalizer.

Last revised on September 9, 2019 at 11:45:42. See the history of this page for a list of all contributions to it.