Morfismo (teoria das categorias): diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m "Implicar", neste caso, é transitivo direto. |
|||
Linha 38:
== Alguns morfismos específicos ==
. Monomorfismo: f: X -> Y é chamado de monomorfismo se f ° g1 = f ° g2 implica
. O morfismo f tem uma inversa esquerda se existe um morfismo g: Y -> X, tal que g ° h = idX. A inversa
Linha 51:
monomorfismo porém mais fraca daquela que seja um monomorfismo de divisão.
. Epimorfismo: Dualmente, f: X -> Y é chamado epimorfismo se g1 ° f = g2 ° f implica
.O morfismo f tem uma direita inversa se existe um morfismo g: Y -> X tal que f ° g = idY. A direita
| |||