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.