Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
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
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
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=155001604»