coequalizer

Today it means: An arrow whose domain is the codomain of a parallel pair of arrows and which forms part of the colimit of that parallel pair. Full definition →