Bimorfismo
Um bimorfismo, no contexto de Teoria das categorias, é uma seta que é simultaneamente um monomorfismo e um epimorfismo.
Exemplos
- Em Set todo bimorfismo é uma função bijetora.
- Em Grp, a categoria dos grupos e homomorfismos, todo bimorfismo é um isomorfismo. A demonstração deste resultado não é simples.
Ver também
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.
- Asperti, Longo, "Categories, Types, and Structures", The MIT Press, Cambridge, Massachusetts, London, England.
🔥 Top keywords: Wikipédia:Página principalEspecial:PesquisarSilvio LuizAntero GrecoWashington RodriguesChatGPTCleópatraMárcia (cantora brasileira)Paulo SoaresYasukeYouTubeNova CaledóniaCandombléCássio RamosEnchentes no Rio Grande do Sul em 2024Verinha DarcyRio Grande do SulPablo MarçalSony ChannelAMBEVCanal BrasilEduardo LeiteFicheiro:Logotipo da GloboNews.pngBrasilDanubio Fútbol ClubSalomãoEslováquiaBaby ReindeerJuraj Cintula16 de maioPaulo PimentaWhatsAppHigh Frequency Active Auroral Research ProgramRobert FicoCopa Libertadores da América de 2024Club BolívarAlma GêmeaCopa Libertadores da AméricaCristiano Ronaldo