A fork
is split if it can be embedded into a diagram
in which , and (we used here Leibniz order for composition of morphisms).
Surely, and 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 15:45:42. See the history of this page for a list of all contributions to it.