split equalizer

A fork

is **split** if it can be embedded into a diagram

in which $s e = id_A$, $t g = id_B$ and $t f = e s$ (we used here Leibniz order for composition of morphisms).

Surely, $f$ and $g$ 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.