Also known as equalizer
set of arguments where two or more functions have the same value
L’égaliseur est une construction catégorique associée à deux morphismes parallèles, qui généralise en un certain sens la notion de noyau en algèbre. La construction duale, le coégaliseur peut s'interpréter comme une généralisation catégorique de la notion de quotient par une relation d'équivalence. On trouve parfois la variante égalisateur.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).