Also known as coequaliser
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.
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).