Morfismo - Morphism

En matemáticas , particularmente en la teoría de categorías , un morfismo es un mapa que preserva la estructura de una estructura matemática a otra del mismo tipo. La noción de morfismo se repite en gran parte de las matemáticas contemporáneas. En la teoría de conjuntos , los morfismos son funciones ; en álgebra lineal , transformaciones lineales ; en teoría de grupos , homomorfismos de grupo ; en topología , funciones continuas , etc.

En la teoría de categorías , el morfismo es una idea muy similar: los objetos matemáticos involucrados no necesitan ser conjuntos, y las relaciones entre ellos pueden ser algo más que mapas, aunque los morfismos entre los objetos de una categoría dada tienen que comportarse de manera similar a los mapas en que deben admitir una operación asociativa similar a la composición de funciones . Un morfismo en la teoría de categorías es una abstracción de un homomorfismo .

El estudio de los morfismos y de las estructuras (llamadas "objetos") sobre las que se definen es fundamental para la teoría de categorías. Gran parte de la terminología de los morfismos, así como la intuición subyacente a ellos, proviene de categorías concretas , donde los objetos son simplemente conjuntos con alguna estructura adicional y los morfismos son funciones que preservan la estructura . En la teoría de categorías, los morfismos a veces también se denominan flechas .

Definición

Una categoría C consta de dos clases , una de objetos y otra de morfismos . Hay dos objetos que están asociados a cada morfismo, el origen y el objetivo . Un morfismo f con fuente X y el objetivo Y está escrito f  : XY , y está representado esquemáticamente por una flecha de X a Y .

Para muchas categorías comunes, los objetos son conjuntos (a menudo con alguna estructura adicional) y los morfismos son funciones de un objeto a otro objeto. Por lo tanto, la fuente y el objetivo de un morfismo a menudo se denominan dominio ycodominio respectivamente.

Los morfismos están equipados con una operación binaria parcial , llamada composición . La composición de dos morfismos f y g se define precisamente cuando el objetivo de f es la fuente de g , y se denota gf (o a veces simplemente gf ). La fuente de gf es la fuente de f , y el objetivo de gf es el objetivo de g . La composición satisface dos axiomas :

Identidad
Para cada objeto X , existe una ID morfismo X  : XX llamado el morfismo identidad en X , tal que para cada morfismo f  : AB tenemos Identificación del Bf = f = f ∘ ID A .
Asociatividad
h ∘ ( gf ) = ( hg ) ∘ f siempre que se definan todas las composiciones, es decir, cuando el objetivo de f es la fuente de g , y el objetivo de g es la fuente de h .

Para una categoría concreta (una categoría en la que los objetos son conjuntos, posiblemente con estructura adicional, y los morfismos son funciones que preservan la estructura), el morfismo de identidad es solo la función de identidad , y la composición es solo una composición ordinaria de funciones .

La composición de los morfismos a menudo se representa mediante un diagrama conmutativo . Por ejemplo,

Diagrama conmutativo para morphism.svg

La colección de todos los morfismos de X a Y se denota Hom C ( X , Y ) o simplemente Hom ( X , Y ) y llamó al hom-set entre X y Y . Algunos autores escriben Mor C ( X , Y ), Mor ( X , Y ) o C ( X , Y ). Tenga en cuenta que el término hom-set es un nombre inapropiado, ya que no se requiere que la colección de morfismos sea un conjunto; una categoría donde Hom ( X , Y ) es un conjunto para todos los objetos X e Y se llama localmente pequeña . Debido a que los hom-sets pueden no ser sets, algunas personas prefieren usar el término "hom-class".

Tenga en cuenta que el dominio y el codominio son de hecho parte de la información que determina un morfismo. Por ejemplo, en la categoría de conjuntos , donde los morfismos son funciones, dos funciones pueden ser idénticas como conjuntos de pares ordenados (pueden tener el mismo rango ), mientras que tienen diferentes codominios. Las dos funciones son distintas desde el punto de vista de la teoría de categorías. Por tanto, muchos autores requieren que las clases hom ( X , Y ) sean disjuntas . En la práctica, esto no es un problema porque si esta disyunción no se mantiene, se puede asegurar agregando el dominio y el codominio a los morfismos (digamos, como el segundo y tercer componentes de un triple ordenado).

Algunos morfismos especiales

Monomorfismos y epimorfismos

Un morfismo f : XY se llama un monomorphism si fg 1 = fg 2 implica g 1 = g 2 para todos morfismos g 1 , g 2 : ZX . Un monomorfismo se puede llamar mono para abreviar, y podemos usar monic como adjetivo. Un morfismo f tiene una inversa por la izquierda o es un monomorphism división si hay un morfismo g : YX tal que gf = id X . Por tanto, fg : YY es idempotente ; es decir, ( fg ) 2 = f ∘ ( gf ) ∘ g = fg . La g inversa izquierda también se llama retracción de f .

Los morfismos con inversos a la izquierda son siempre monomorfismos, pero lo contrario no es cierto en general; un monomorfismo puede no tener una inversa izquierda. En categorías concretas , una función que tiene una inversa izquierda es inyectiva . Así, en categorías concretas, los monomorfismos son a menudo, pero no siempre, inyectivos. La condición de ser una inyección es más fuerte que la de ser un monomorfismo, pero más débil que la de ser un monomorfismo dividido.

Dually a monomorfismos, un morfismo f : XY se llama un epimorfismo si g 1f = g 2f implica g 1 = g 2 para todos los morfismos g 1 , g 2 : YZ . Un epimorfismo se puede llamar epi para abreviar, y podemos usar épico como adjetivo. Un morfismo f tiene una inversa por la derecha o es un epimorfismo división si hay un morfismo g : YX tal que fg = id Y . La inversa derecha g también se llama sección de f . Los morfismos que tienen una inversa derecha son siempre epimorfismos, pero lo contrario no es cierto en general, ya que un epimorfismo puede no tener una inversa correcta.

Si un monomorfismo f se divide con g inversa izquierda , entonces g es un epimorfismo dividido con f inversa derecha . En categorías concretas , una función que tiene un inverso correcto es sobreyectiva . Así, en categorías concretas, los epimorfismos son a menudo, pero no siempre, sobreyectivos. La condición de ser una sobreyección es más fuerte que la de ser un epimorfismo, pero más débil que la de ser un epimorfismo escindido. En la categoría de conjuntos , la afirmación de que toda sobreyección tiene una sección es equivalente al axioma de elección .

Un morfismo que es tanto un epimorfismo como un monomorfismo se llama bimorfismo .

Isomorfismos

Un morfismo f : XY se llama un isomorfismo si existe un morfismo g : YX tal que fg = id Y y gf = id X . Si un morfismo tiene tanto inverso a la izquierda como inverso a la derecha, entonces los dos inversos son iguales, por lo que f es un isomorfismo y g se llama simplemente el inverso de f . Los morfismos inversos, si existen, son únicos. La g inversa también es un isomorfismo, con f inversa . Se dice que dos objetos con un isomorfismo entre ellos son isomorfos o equivalentes.

Si bien todo isomorfismo es un bimorfismo, un bimorfismo no es necesariamente un isomorfismo. Por ejemplo, en la categoría de anillos conmutativos, la inclusión ZQ es un bimorfismo que no es un isomorfismo. Sin embargo, cualquier morfismo que sea tanto un epimorfismo como un monomorfismo dividido , o un monomorfismo y un epimorfismo dividido , debe ser un isomorfismo. Una categoría, como Set , en la que todo bimorfismo es un isomorfismo se conoce como categoría equilibrada .

Endomorfismos y automorfismos

Un morfismo f : XX (es decir, un morfismo con fuente idénticos y objetivo) es un endomorphism de X . Un endomorfismo dividido es un endomorfismo idempotente f si f admite una descomposición f = hg con gh = id. En particular, la envoltura de Karoubi de una categoría divide todo morfismo idempotente.

Un automorfismo es un morfismo que es tanto endomorfismo como isomorfismo. En cada categoría, los automorfismos de un objeto siempre forman un grupo , llamado grupo de automorfismos del objeto.

Ejemplos de

Para obtener más ejemplos, consulte la teoría de la categoría de entrada .

Ver también

Notas

Referencias

enlaces externos