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:

para cada par de morfismos cumpliendo que , existe su composición . La

composición es asociativa, cumpliendo que para cualesquiera morfismos componibles
.
cada objeto consta de un morfismo identidad . Esta identidad es un elemento neutro respecto de la
composición; es decir, se tendrá y en los casos en los que los morfismos sean componibles.

Tipos de morfismos

Monomorfismos y epimorfismos
Un morfismo se llama monomorfismo cuando es cancelable a izquierda,2 es decir, cuando para cualesquiera
se cumple que . Dualmente, un morfismo se llama epimorfismo
cuando es cancelable a derecha, es decir, cuando para cualesquiera se cumple que .

A los morfismos que son monomorfismos y epimorfismos se les llama bimorfismos.

Inversas laterales
En el caso en el que existan dos morfismos y cumpliendo que , diremos que el morfismo
tiene una inversa a izquierda, o, equivalentemente, que es una sección; mientras que el morfismo tiene una inversa a
derecha, o, equivalentemente, que es una retracción.2

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
Un morfismo se llama isomorfismo cuando es invertible, es decir, cuando existe un morfismo tal que
y .

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.

Dos objetos con un isomorfismo entre ellos se llaman isomorfos o equivalentes. La isomorfía es una
relación de equivalencia y se nota como .

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.

Un homeomorfismo es simplemente un isomorfismo en la categoría de los espacios topológicos.

Un difeomorfismo es simplemente un isomorfismo en la categoría de las variedades diferenciables.

Enlaces externos
Weisstein, Eric W. «Morphism» (http://mathworld.wolfram.com/Morphism.html). En Weisstein, Eric W. MathWorld (en
inglés). Wolfram Research.
Category (http://planetmath.org/965) en PlanetMath.
TypesOfMorphisms (http://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=117320261»

Esta página se editó por última vez el 10 jul 2019 a las 18:06.

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.