For parallel arrows , a split coequalizer consists of and arrows , with , , , and . These equations prove the coequalizer property: if , then , so is the unique factor through . Every functor preserves this split coequalizer because it preserves these equations.
New to topics? Read the docs here!