equalizador

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.