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.
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.
== Definition == A coequalizer is the colimit of a diagram consisting of two objects X and Y and two parallel morphisms .
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).