The AI-powered English dictionary
plural coequalizers
(category theory) An arrow whose domain is the codomain of a parallel pair of arrows and which forms part of the colimit of that parallel pair. examples