Diferencia entre revisiones de «Morfismo»
Contenido eliminado Contenido añadido
Eliminé la sección "Tipos" que tenía algunas cosas mal y otras repetidas respecto de la sección "Variantes y subclases de morfismos" |
|||
Línea 6:
* Todo objeto ''X'' en toda categoría tiene ''morfismo identidad'' '''id'''<sub>''X''</sub> que actúa como [[elemento identidad|identidad]] bajo la operación de composición.
* Si ''f'' : ''X'' → ''Y'' y ''g'' : ''Y'' → ''X''
* Si ''f'' es tanto una retracción como una sección, entonces es un [[isomorfismo]]. En tal caso, los objetos ''X'' e ''Y'' deben pensarse como completamente equivalentes para la categoría ''C''.
* Un morfismo ''f'' : ''X'' → ''X'' es un '''endomorfismo''' de ''X''.
| |||