Diferencia entre revisiones de «Morfismo»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 15:
::Un monomorfismo con inverso lateral es llamado un monomorfismo "split".
* Si ''f'' es tanto un epimorfismo como un monomorfismo, ''f'' es un [[bimorfismo]]. Nótese que no todo bimorfismo es un isomorfismo. No obstante, todo morfismo que es tanto un epimorfismo como una sección, o mono y retracción, debe ser iso.
* Un [[homeomorfismo]] es simplemente un [[isomorfismo]] en la categoría de los [[Espacio topológico|espacios topológicos]].▼
* Un [[difeomorfismo]] es simplemente un [[isomorfismo]] en la categoría de las [[Variedad (matemática)|variedad]] es diferenciables.▼
== Ejemplos ==
Algunos ejemplos de morfismos son [[homomorfismos]] de las categorías estudiadas en [[álgebra universal]] (tales como los de [[Grupo (matemática)|grupos]], [[Anillo (matemáticas)|anillos]], etc), [[Continuidad (matemáticas)|funciones continuas]] entre [[Espacio topológico|espacios topológicos]], elementos de un monoide cuando es pensado como [[Teoría de las categorías|categoría]], caminos en un [[espacio topológico]] (lo que engendra un [[grupoide]]), [[funtor]]es entre [[Teoría de las categorías|categoría]], y muchos otros.
▲* Un [[homeomorfismo]] es simplemente un [[isomorfismo]] en la categoría de los [[Espacio topológico|espacios topológicos]].
▲* Un [[difeomorfismo]] es simplemente un [[isomorfismo]] en la categoría de las [[Variedad (matemática)|variedad]] es diferenciables.
== Tipos ==
| |||