EQUILIZADOR

Um equalizador é uma construção de Teoria das categorias.

Dado um par de morfismos ${\displaystyle f:a\rightarrow b}$ e ${\displaystyle g:a\rightarrow b}$ de uma categoria C, um equalizador de ${\displaystyle f}$ e ${\displaystyle g}$ é um par ${\displaystyle (e,i)}$, ${\displaystyle e}$ objeto de C e ${\displaystyle i:e\rightarrow a}$ morfismo, tal que:

1. ${\displaystyle f\circ i=g\circ i}$;
2. Para todo ${\displaystyle h:c\rightarrow a}$, ${\displaystyle f\circ h=g\circ h}$ implica que existe um único ${\displaystyle k:c\rightarrow e}$ tal que ${\displaystyle i\circ k=h}$.

Chamamos ${\displaystyle h}$ de pré-equalizador.

O conceito dual do equalizador é o Coequalizador.

Ver também[editar | editar código-fonte]

• Matemática
• Ciência da computação

Ligações externas[editar | editar código-fonte]

• Categories, Types and Structures por Andrea Asperti e Giuseppe Longo

Referências[editar | editar código-fonte]

• Mac Lane, Saunders (1998). Categories for the Working Mathematician (2nd ed.). Graduate Texts in Mathematics 5. Springer. ISBN 0-387-98403-8.
• Barr, Michael & Wells, Charles, Category Theory for Computing Science, Prentice Hall, London, UK, 1990.
• Paulo Blauth Menezes & Edward Hermann Haeusler, Teoria das categorias para ciência da computação, Porto Alegre, Editora Sagra-Luzzatto.

Teoria das categorias