Equalizador (teoria das categorias)

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Diagrama do Equalizador

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

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

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

Chamamos h de pré-equalizador.

O conceito dual do equalizador é o Coequalizador.

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

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

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.
Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.