stringtranslate.com

Categoría de coma

En matemáticas , una categoría de coma (un caso especial es una categoría de porción ) es una construcción en la teoría de categorías . Proporciona otra forma de ver los morfismos : en lugar de simplemente relacionar objetos de una categoría entre sí, los morfismos se convierten en objetos por derecho propio. Esta noción fue introducida en 1963 por FW Lawvere (Lawvere, 1963 p. 36), aunque la técnica no se hizo conocida en general hasta muchos años después. Varios conceptos matemáticos pueden tratarse como categorías de coma. Las categorías de coma también garantizan la existencia de algunos límites y colímites . El nombre proviene de la notación utilizada originalmente por Lawvere, que involucraba el signo de puntuación de coma . El nombre persiste a pesar de que la notación estándar ha cambiado, ya que el uso de una coma como operador es potencialmente confuso, e incluso a Lawvere le desagrada el término poco informativo "categoría de coma" (Lawvere, 1963 p. 13).

Definición

La construcción más general de categorías de coma implica dos funtores con el mismo codominio. A menudo, uno de ellos tendrá el dominio 1 (la categoría de un objeto y un morfismo). Algunas teorías de categorías consideran solo estos casos especiales, pero el término categoría de coma es en realidad mucho más general.

Forma general

Supongamos que , , y son categorías, y y (para origen y destino) son funtores :

Podemos formar la categoría de coma de la siguiente manera:

Diagrama de coma
Diagrama de coma

Los morfismos se componen tomando como , siempre que se defina la última expresión. El morfismo identidad de un objeto es .

Categoría de rebanadas

El primer caso especial ocurre cuando , el funtor es el funtor identidad , y (la categoría con un objeto y un morfismo). Entonces, para algún objeto en .

En este caso, la categoría de coma se escribe , y a menudo se denomina categoría de corte sobre o categoría de objetos sobre . Los objetos se pueden simplificar a pares , donde . A veces, se denota por . Un morfismo de a en la categoría de corte se puede simplificar a una flecha haciendo que el siguiente diagrama conmute:

Diagrama de cortes
Diagrama de cortes

Categoría Coslice

El concepto dual de una categoría de corte es una categoría de cocorte. Aquí, , tiene dominio y es un funtor identidad.

En este caso, la categoría de coma se escribe a menudo , donde es el objeto de seleccionado por . Se denomina categoría de coslice con respecto a , o la categoría de objetos bajo . Los objetos son pares con . Dados y , un morfismo en la categoría de coslice es una función que hace que el siguiente diagrama conmute:

Diagrama de coslice
Diagrama de coslice

Categoría de flecha

y son funtores identidad en (por lo tanto ).

En este caso, la categoría de coma es la categoría de flecha . Sus objetos son los morfismos de , y sus morfismos son cuadrados conmutativos en . [1]

Diagrama de flechas
Diagrama de flechas

Otras variaciones

En el caso de la categoría de rebanada o coslice, el funtor identidad puede ser reemplazado por algún otro funtor; esto produce una familia de categorías particularmente útiles en el estudio de funtores adjuntos . Por ejemplo, si es el funtor olvidadizo que asigna un grupo abeliano a su conjunto subyacente , y es algún conjunto fijo (considerado como un funtor de 1 ), entonces la categoría de coma tiene objetos que son mapas de a un conjunto subyacente a un grupo. Esto se relaciona con el adjunto izquierdo de , que es el funtor que asigna un conjunto al grupo abeliano libre que tiene ese conjunto como base. En particular, el objeto inicial de es la inyección canónica , donde es el grupo libre generado por .

Un objeto de se llama un morfismo de a o una flecha -estructurada con dominio . [1] Un objeto de se llama un morfismo de a o una flecha -coestructurada con codominio . [1]

Otro caso especial ocurre cuando tanto y son funtores con dominio . Si y , entonces la categoría de coma , escrita , es la categoría discreta cuyos objetos son morfismos de a .

Una categoría de inserción es una subcategoría (no completa) de la categoría de coma donde y son obligatorios. La categoría de coma también puede verse como la categoría de inserción de y , donde y son los dos funtores de proyección que salen de la categoría de producto .

Propiedades

Para cada categoría de coma existen funciones olvidables a partir de ella.

Ejemplos de uso

Algunas categorías notables

Varias categorías interesantes tienen una definición natural en términos de categorías de coma.

Límites y morfismos universales

Los límites y colímites en categorías de coma pueden ser "heredados". Si y son completos , es un funtor continuo y es otro funtor (no necesariamente continuo), entonces la categoría de coma producida es completa, [2] y los funtores de proyección y son continuos. De manera similar, si y son co-completos y es co-continuo , entonces es co-completo y los funtores de proyección son co-continuos.

Por ejemplo, observe que en la construcción anterior de la categoría de grafos como una categoría de coma, la categoría de conjuntos es completa y cocompleta, y el funtor identidad es continuo y cocontinuo. Por lo tanto, la categoría de grafos es completa y cocompleta.

La noción de un morfismo universal hacia un colimite particular, o desde un límite, puede expresarse en términos de una categoría de coma. Esencialmente, creamos una categoría cuyos objetos son conos, y donde el cono limitante es un objeto terminal ; entonces, cada morfismo universal para el límite es solo el morfismo hacia el objeto terminal. Esto funciona en el caso dual, con una categoría de cocones que tiene un objeto inicial. Por ejemplo, sea una categoría con el funtor que lleva cada objeto a y cada flecha a . Un morfismo universal de a consiste, por definición, en un objeto y morfismo con la propiedad universal de que para cualquier morfismo hay un morfismo único con . En otras palabras, es un objeto en la categoría de coma que tiene un morfismo hacia cualquier otro objeto en esa categoría; es inicial. Esto sirve para definir el coproducto en , cuando existe.

Adjuntos

William Lawvere demostró que los funtores y son adjuntos si y solo si las categorías de coma y , con y los funtores identidad en y respectivamente, son isomorfos, y los elementos equivalentes en la categoría de coma pueden proyectarse sobre el mismo elemento de . Esto permite que las adjunciones se describan sin involucrar conjuntos y, de hecho, fue la motivación original para introducir las categorías de coma.

Transformaciones naturales

Si los dominios de son iguales, entonces el diagrama que define morfismos en con es idéntico al diagrama que define una transformación natural . La diferencia entre las dos nociones es que una transformación natural es una colección particular de morfismos de tipo de la forma , mientras que los objetos de la categoría de coma contienen todos los morfismos de tipo de dicha forma. Un funtor de la categoría de coma selecciona esa colección particular de morfismos. Esto se describe sucintamente mediante una observación de SA Huq [3] de que una transformación natural , con , corresponde a un funtor que asigna cada objeto a y asigna cada morfismo a . Esta es una correspondencia biyectiva entre transformaciones naturales y funtores que son secciones de ambos funtores olvidadizos de .

Referencias

  1. ^ abc Adámek, Jiří; Herrlich, Horst; Strecker, George E. (1990). Categorías abstractas y concretas (PDF) . John Wiley e hijos. ISBN 0-471-60922-6.
  2. ^ Rydheard, David E.; Burstall, Rod M. (1988). Teoría de categorías computacionales (PDF) . Prentice Hall.
  3. ^ Mac Lane, Saunders (1998), Categorías para el matemático en activo , Textos de posgrado en matemáticas 5 (2.ª ed.), Springer-Verlag, pág. 48, ISBN 0-387-98403-8

Enlaces externos