Morfismo - Wikiwand https://www.wikiwand.
com/es/Morfismo
concepto en teoría de categorías / De Wikipedia, la enciclopedia libre
SEAMOS BREVES SIMPLEMENTE RESPONDIENDO ESTAS PREGUNTAS CLAVE:
¿Puede enumerar los principales datos y estadísticas sobre Morfismo?
Resumir este artículo para un niño de 10 años
MOSTRAR TODAS LAS PREGUNTAS
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.
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 cualquier morfismo componible .
• 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.
Monomorfismos y epimorfismos
Un morfismo se llama monomorfismo cuando es cancelable a derecha,[2] es decir, cuando para cualesquiera
se cumple que . Dualmente, un morfismo se llama epimorfismo cuando es cancelable a
izquierda, 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]
1 of 4 7/17/23, 22:15
Morfismo - Wikiwand https://www.wikiwand.com/es/Morfismo
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.
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.
2 of 4 7/17/23, 22:15
Morfismo - Wikiwand https://www.wikiwand.com/es/Morfismo
Wikiwand is a leading donor to the Wikimedia Foundation, we pledge to give a
portion of our income to help Wikipedia thrive. By using Wikiwand, for FREE, you
directly contribute to keep Wikipedia alive.
Donate now 30% goes to Wikimedia!
Not right now, thanks
Related Articles
Isomor�smo
homomorfismo (o más generalmente un morfismo) que admite un inverso
En matemáticas, un isomorfismo es un homomorfismo que admite un inverso. El concepto
matemático de isomorfismo pretende captar la idea de tener la misma estructura. Dos
estructuras matemáticas entre las que existe una relación de isomorfismo se llaman
isomorfas.
Read article
Teoría de categorías
estudio de las estructuras matemáticas y de sus relaciones
La teoría de categorías es un estudio matemático que trata de axiomatizar de forma
abstracta diversas estructuras matemáticas como una sola, mediante el uso de objetos y
morfismos. Al mismo tiempo trata de mostrar una nueva forma de ver las matemáticas sin
incluir las nociones de elementos, pertenencia, entre otras.
Read article
Homomor�smo
función matemática
En matemáticas, un homomorfismo desde un objeto matemático a otro con la misma
estructura algebraica, es una función que preserva las operaciones definidas en dichos
objetos.
Read article
Categoría de espacios topológicos
categoría grande cuyos objetos son espacios topológicos y cuyos morfismos son
mapas continuos
En teoría de categorías, la categoría de los espacios topológicos, usualmente denotada
como , tiene a los espacios topológicos como objetos y a las funciones continuas entre ellos
como morfismos; esto nos da una categoría porque la composición de dos funciones
continuas es continua. Los monomorfismos en son las funciones continuas inyectivas, los ...
Read article
Funtor
concepto en teoría de categorías
3 of 4 7/17/23, 22:15
Morfismo - Wikiwand https://www.wikiwand.com/es/Morfismo
En teoría de categorías un funtor o functor es una función de una categoría a otra que lleva
objetos a objetos y morfismos a morfismos de manera que la composición de morfismos y
las identidades se preserven.
Read article
Load all related articles
Home About us FAQ Press Site map Terms of service Privacy policy
4 of 4 7/17/23, 22:15
