Epimorfismo (teoria das categorias)
homomorfismo sobrejectivo / De Wikipedia, a enciclopédia encyclopedia
Na teoria das categorias, epimorfismo generaliza o conceito de funções sobrejetivas ou de imagens "suficientemente grandes". Mais precisamente, um epimorfismo (ou epi) é um morfismo f : x → y numa categoria C com a propriedade de que
- h ∘ f = k ∘ f implica h = k
sempre que z é objeto de C e h, k : y → z são morfismos paralelos. Brevemente, um epimorfismo é uma seta cancelável à direita da composição.[1][2]
O conceito dual a epimorfismo é monomorfismo.
Nota de terminologia: Fora da teoria das categorias, "epimorfismo" pode referir-se a um homomorfismo sobrejetivo.[3]