Revisão das 10h00min de 11 de janeiro de 2006 editar Campani (discussão \| contribs) 10 019 edições		Revisão das 18h24min de 11 de janeiro de 2006 editar desfazer Campani (discussão \| contribs) 10 019 edições Ver a alteração posterior →
Linha 4: Em '''Set''' uma seta epi é uma função sobrejetora. =={{Veja também}}== * [[Matemática]] * [[Ciência da computação]] =={{Links externos}}== * [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. * Paulo Blauth Menezes & Edward Hermann Haeusler, ''Teoria das categorias para ciência da computação'', Porto Alegre, Editora Sagra-Luzzatto. {{teoria das categorias}}

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