Definition, synonyms and related words
For a category with zero morphisms: the coequalizer between a given morphism and the zero morphism which is parallel to that given morphism.