Also known as equalizer
teoria das categorias
Um equalizador é uma construção de Teoria das categorias. Dado um par de morfismos e de uma categoria C, um equalizador de e é um par , objeto de C e morfismo, tal que: 1. * ; 2. * Para todo , implica que existe um único tal que . Chamamos de pré-equalizador. O conceito dual do equalizador é o coequalizador. Sendo um caso particular do limite em teoria das categorias, equalizadores (se existem) são únicos a menos de isomorfismo.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).