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 |
m |
||
Linha 1:
Um '''epimorfismo''' (ou '''epi'''), no contexto de [[
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}} ==
*
*
=={{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]
▲* 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}}
|