Um epi que não é sobrejetivo


Falando ainda sobre a questão da “unicidade” dos contra-exemplos [veja o este post] …

Quando estuda-se Teoria de Categorias temos a oportunidade conhecer os conceitos de epimorfismo (também chamado de epic morphism ou simplesmente epi) e de monomorfismo (também chamado de monic morphism ou simplesmente mono). Por exemplo, na categoria dos conjuntos, muitas vezes denotada por Set, toda sobrejeção (resp., injeção) é um epi (resp., mono). Este resultado também é válido na categorias dos anéis (Ring). Então uma questão natural seria a seguinte: Continuar lendo