coequalizer (equalizer + co-): An arrow whose domain is the codomain of a parallel pair of arrows and which forms part of the colimit of that parallel pair