Epimorfismo (teoria das categorias)

Predefinição:Sem fontes Um epimorfismo (ou epi), no contexto de teoria das categorias, é uma seta que possui uma propriedade distintiva.

Seja uma categoria C e objetos $a$ e $b$ desta categoria. Uma seta $h:a\rightarrow b$ é dita epimorfismo se e somente se $g\circ h=f\circ h\Rightarrow g=f$. Ou seja, uma seta é epi se ela pode ser cancelada a direita de uma composição.

Na categoria dos conjuntos (Set) uma seta epi é uma função sobrejetora.

Motivação

Um epimorfismo é a generalização do conceito de uma função sobrejetiva através de suas propriedades.

Uma função sobrejetiva $f:A\to B\,$ se caracteriza porque para todas funções $g_{1},g_{2}:B\to C\,$, temos que $g_{1}of=g_{2}of\implies g_{1}=g_{2}\,$.

Analogamente, um morfismo f de X para Y é um epimorfismo se, e somente se:

• para todo objeto Z e todos morfismos g₁, g₂ de Y para Z, se $g_{1}of=g_{2}of\,$ então $g_{1}=g_{2}\,$.

Bibliografia

• BARR, Michael; WELLS, Charles. Category Theory for Computing Science, Prentice Hall, London, UK, 1990.
• MAC LANE, Saunders. Categories for the Working Mathematician. 2 ed. Graduate Texts in Mathematics 5. Springer, 1998. ISBN 0-387-98403-8.

Ver também

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

Ligações externas

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