Epimorfismo (teoria das categorias): diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
m Especificando esboço +{{sem-fontes}}, Replaced: {{esboço}} → {{esboço-matemática}} utilizando AWB
Faustino.F (discussão | contribs)
m
Linha 1:
Um '''epimorfismo''' (ou '''epi'''), no contexto de [[Teoriateoria das categorias]], é uma [[morfismo (teoria das categorias)|seta]] que possui uma propriedade distintiva.
 
Seja uma [[categoria (teoria das categorias)|categoria]] '''C''' e [[objeto (teoria das categorias)|objetos]] <math>a</math> e <math>b</math> desta categoria. Uma seta <math>h:a\rightarrow b</math> é dita ''epimorfismo'' se e somente se <math>g\circ h=f\circ h\Rightarrow g=f</math>. Ou seja, uma seta é epi se ela pode ser cancelada a direita de uma composição.
Linha 12:
Analogamente, um morfismo ''f'' de ''X'' para ''Y'' é um '''epimorfismo''' se, e somente se:
* para todo objeto ''Z'' e todos morfismos ''g<sub>1</sub>'', ''g<sub>2</sub>'' de ''Y'' para ''Z'', se <math>g_1 o f = g_2 o f\,</math> então <math>g_1 = g_2\,</math>.
 
== {{Bibliografia}} ==
* BarrBARR, Michael; & WellsWELLS, Charles,. ''Category Theory for Computing Science'', Prentice Hall, London, UK, 1990.
* MacMAC LaneLANE, Saunders (1998). ''Categories for the Working Mathematician''. (2nd2 ed.). Graduate Texts in Mathematics 5. Springer, 1998. ISBN 0-387-98403-8.
 
=={{Veja também}}==
Linha 20 ⟶ 24:
* [ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf Categories, Types and Structures por Andrea Asperti e Giuseppe Longo]
* [http://minerva.ufpel.tche.br/~campani/cat.pdf Lâminas para um curso curto de Teoria das Categorias por Carlos Campani]
 
==Referências==
* 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.
 
{{teoria das categorias}}