Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Morfismo
Morfismo
En varios campos de las matemáticas, se llaman morfismos (u homomorfismos) a las aplicaciones entre
estructuras matemáticas que preservan la estructura interna. Por ejemplo, en teoría de conjuntos, los
morfismos son las funciones entre conjuntos; en álgebra lineal, las transformaciones lineales; y en
topología, las funciones continuas.
En teoría de categorías, el morfismo es una noción más general; una categoría viene dada por dos tipos de
datos: una clase de objetos y, para cada par de objetos X e Y, un conjunto de morfismos desde X a Y. Los
morfismos son frecuentemente representados como flechas entre esos objetos. En el caso de una categoría
concreta, X e Y son conjuntos de cierto tipo y un morfismo f es una función desde X a Y satisfaciendo
alguna condición; este ejemplo origina la notación f: X → Y. Pero no toda categoría es concreta, por tanto
estos no son los únicos tipos de morfismos.
Índice
Definición
Tipos de morfismos
Monomorfismos y epimorfismos
Inversas laterales
Isomorfismos
Endomorfismos y automorfismos
Ejemplos
Enlaces externos
Referencias
Definición
Los morfismos forman parte de la definición de categoría. Dentro de una categoría, cada morfismo tiene
asociados dos objetos de la categoría, su dominio y su codominio, que se notan respectivamente por
y .1 Un morfismo con y suele notarse como .
Los morfismos dentro de una categoría deben cumplir además los siguientes axiomas:
Tipos de morfismos
Monomorfismos y epimorfismos
Inversas laterales
Nótese que toda sección debe ser un monomorfismo y que toda retracción debe ser un epimorfismo.
Debido a esto, a las secciones se las llama también monomorfismos escindidos (split monomorphism) y a
las retracciones se las llama epimorfismos escindidos (split epimorphism). Sin embargo, el converso no es
cierto; existen categorías en las que no todos los monomorfismos y epimorfismos son escindidos.
Isomorfismos
Cuando un morfismo tiene inversa a izquierda y a derecha, puede demostrarse que ambas deben coincidir.
En este caso, se la llama simplemente inversa. La inversa de un morfismo es única y es a su vez un
isomorfismo que tiene a como inversa.2 Nótese que todo isomorfismo es en particular un bimorfismo,
pero que no todo bimorfismo es un isomorfismo.
Endomorfismos y automorfismos
Los morfismos que tienen a un objeto como dominio y codominio, , se llaman endomorfismos
de . Un automorfismo es un endomorfismo que es además un isomorfismo.
Ejemplos
Algunos ejemplos de morfismos son homomorfismos de las categorías estudiadas en álgebra universal
(tales como los de grupos, anillos, etc), funciones continuas entre espacios topológicos, elementos de un
monoide cuando es visto como categoría, caminos en un espacio topológico (lo que engendra a un
grupoide), funtores entre categorías, y muchos otros.
Enlaces externos
Weisstein, Eric W. «Morphism» (http://mathworld.wolfram.com/Morphism.html). En
Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
Category (https://planetmath.org/965) en PlanetMath.
TypesOfMorphisms (https://planetmath.org/8114) en PlanetMath.
Referencias
1. Saunders MacLane. "Categories for the working mathematician", página 10.
2. Saunders MacLane. "Categories for the working mathematician", capítulo 1.5 "Monics, Epis
and Zeros"
Obtenido de «https://es.wikipedia.org/w/index.php?title=Morfismo&oldid=145685202»
Esta página se editó por última vez el 31 ago 2022 a las 08:46.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.