Morfismo (teoria das categorias): diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Resgatando 1 fontes e marcando 0 como inativas. #IABot (v2.0beta14) |
→Alguns morfismos específicos: erro na definição de Monomorfismo |
||
Linha 34:
== Alguns morfismos específicos ==
* Monomorfismo: f: X -> Y é chamado de monomorfismo se f ° g1 = f ° g2 implica g1
** O morfismo f tem uma inversa esquerda se existe um morfismo g: Y -> X, tal que g ° h = idX. A inversa esquerda g também é chamada retração de f. Morfismos com inversas esquerdas são sempre monomorfismos, mas a volta nem sempre é verdade em toda categoria; um monomorfismo pode não ter uma inversa esquerda.
** O monomorfismo de divisão h: X -> Y é um monomorfismo que tem uma inversa esquerda g: Y -> X, tal que, g ° h = idX. Assim, h ° g : Y -> Y é indepontente, de forma que ( h ° g )² = h ° g.
| |||