Coequalizer

In category theory, a coequalizer (or coequaliser) is a generalization of the quotient of a set by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.