En matemáticas , una categoría de coma (un caso especial es una categoría de sector ) 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 [ cita necesaria ] se hizo generalmente conocida hasta muchos años después. Varios conceptos matemáticos pueden tratarse como categorías de comas. Las categorías de coma también garantizan la existencia de algunos límites y colimites . El nombre proviene de la notación utilizada originalmente por Lawvere, que implicaba 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 no le gusta el término poco informativo "categoría de coma" (Lawvere, 1963 p. 13).
Definición
La construcción de categorías de coma más general implica dos funtores con el mismo codominio. A menudo, uno de estos tendrá el dominio 1 (la categoría de un morfismo de un objeto). Algunas explicaciones de la teoría de categorías consideran sólo 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 functores :
Podemos formar la categoría de coma de la siguiente manera:
Todos los objetos son triples con un objeto en , un objeto en y un morfismo en .
Los morfismos de a son todos pares donde y son morfismos en y respectivamente, de modo que el siguiente diagrama conmuta :
Los morfismos se componen tomando to be , siempre que se defina esta última expresión. El morfismo de identidad de un objeto es .
categoría de rebanada
El primer caso especial ocurre cuando el funtor es el funtor identidad y (la categoría con un objeto y un morfismo). Luego, para algún objeto en .
En este caso, la categoría de coma se escribe y, a menudo, se denomina categoría de corte 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 sector se puede simplificar a una flecha haciendo que el siguiente diagrama conmute:
categoría cóslice
El concepto dual de una categoría de corte es una categoría de coslice. Aquí , tiene dominio y es un funtor de identidad.
En este caso, la categoría de coma a menudo se escribe , donde está el objeto seleccionado por . Se llama categoría de coslice con respecto a , o categoría de objetos bajo . Los objetos son pares con . Dado y , un morfismo en la categoría coslice es un mapa que hace conmutar el siguiente diagrama:
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 de conmutación en . [1]
Otras variaciones
En el caso de la categoría de corte o coslice, el funtor de identidad puede reemplazarse con algún otro funtor; esto produce una familia de categorías particularmente útiles en el estudio de funtores adjuntos . Por ejemplo, si el funtor olvidadizo asigna un grupo abeliano a su conjunto subyacente y es un conjunto fijo (considerado como un funtor de 1 ), entonces la categoría de coma tiene objetos que se asignan 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 está el grupo libre generado por .
Un objeto de se llama morfismo de a o flecha estructurada con dominio . [1] Un objeto de se llama morfismo de a o flecha coestructurada con codominio . [1]
Otro caso especial ocurre cuando ambos y son functores 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 el insertador de y , donde y son los dos functores de proyección fuera de la categoría de producto .
Propiedades
Para cada categoría de coma hay funtores olvidadizos.
Functor de dominio, que asigna:
objetos: ;
morfismos: ;
Functor codomain, que asigna:
objetos: ;
morfismos: .
Functor de flecha, que asigna:
objetos: ;
morfismos: ;
Ejemplos de uso
Algunas categorías notables
Varias categorías interesantes tienen una definición natural en términos de categorías de comas.
La categoría de conjuntos puntiagudos es una categoría de coma, siendo (un funtor que selecciona) cualquier conjunto singleton y (el funtor de identidad de) la categoría de conjuntos . Cada objeto de esta categoría es un conjunto, junto con una función que selecciona algún elemento del conjunto: el "punto base". Los morfismos son funciones en conjuntos que asignan puntos base a puntos base. De manera similar se puede formar la categoría de espacios puntiagudos .
La categoría de álgebras asociativas sobre un anillo es la categoría de coslice , ya que cualquier homomorfismo de anillo induce una estructura de álgebra asociativa en y viceversa. Los morfismos son entonces mapas que hacen que el diagrama conmute.
La categoría de gráficos es , y el funtor toma un conjunto de . Los objetos constan entonces de dos conjuntos y una función; es un conjunto de indexación, es un conjunto de nodos y elige pares de elementos para cada entrada de . Es decir, selecciona ciertas aristas del conjunto de posibles aristas. Un morfismo en esta categoría se compone de dos funciones, una en el conjunto de indexación y otra en el conjunto de nodos. Deben "estar de acuerdo" según la definición general anterior, es decir, que deben satisfacer . En otras palabras, el borde correspondiente a un determinado elemento del conjunto de indexación, cuando se traduce, debe ser el mismo que el borde del índice traducido.
Muchas operaciones de "aumento" o "etiquetado" se pueden expresar en términos de categorías de comas. Sea el funtor que lleva cada gráfico al conjunto de sus aristas, y sea (un funtor que selecciona) algún conjunto particular: entonces es la categoría de gráficos cuyas aristas están etiquetadas por elementos de . Esta forma de categoria de coma a menudo se denomina objetos -sobre - estrechamente relacionado con los "objetos sobre " discutidos anteriormente. Aquí, cada objeto toma la forma , donde hay una gráfica y una función desde los bordes de hasta . Los nodos del gráfico podrían etiquetarse esencialmente de la misma manera.
Se dice que una categoría es localmente cartesiana cerrada si cada porción de ella es cartesiana cerrada (consulte más arriba la noción de porción ). Las categorías cerradas localmente cartesianas son las categorías clasificadoras de las teorías de tipo dependiente .
Límites y morfismos universales.
Los límites y colimites en categorías de comas pueden "heredarse". Si y son completos , es un functor 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 cocompletos y son cocontinuos , entonces son cocompletos y los funtores de proyección son cocontinuos.
Por ejemplo, tenga en cuenta que en la construcción anterior de la categoría de gráficos como categoría de coma, la categoría de conjuntos es completa y cocompleta, y el funtor de identidad es continuo y cocontinuo. Por tanto, la categoría de gráficos es completa y cocompleta.
La noción de un morfismo universal a un colimit particular, o desde un límite, se puede expresar 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 del objeto terminal. Esto funciona en el caso dual, con una categoría de cocos que tiene un objeto inicial. Por ejemplo, sea una categoría con el funtor que lleva cada objeto y cada flecha a . Un morfismo universal de a consiste, por definición, en un objeto y un morfismo con la propiedad universal de que para cualquier morfismo existe un morfismo único con . En otras palabras, es un objeto en la categoría coma que tiene un morfismo con respecto a cualquier otro objeto en esa categoría; es inicial. Esto sirve para definir el coproducto en , cuando existe.
Adjunciones
Lawvere demostró que los functores y son adjuntos si y sólo si las categorías de coma y , con y los functores de identidad en y respectivamente, son isomórficos, y elementos equivalentes en la categoría de coma se pueden proyectar sobre el mismo elemento de . Esto permite describir las conjunciones sin involucrar conjuntos y, de hecho, fue la motivación original para introducir categorías de comas.
Transformaciones naturales
Si los dominios de son iguales, entonces el diagrama que define los 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 coma contienen todos los morfismos de tipo de dicha forma. Un functor 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 functor que asigna cada objeto y asigna cada morfismo a . Esta es una correspondencia biyectiva entre transformaciones naturales y functores que son secciones de ambos functores olvidadizos de .
Referencias
^ 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.
^ Rydheard, David E.; Burstall, Rod M. (1988). Teoría de categorías computacionales (PDF) . Prentice Hall.
Lawvere, W (1963). "Semántica funcional de teorías algebraicas" y "Algunos problemas algebraicos en el contexto de la semántica funtorial de teorías algebraicas". http://www.tac.mta.ca/tac/reprints/articles/5/tr5.pdf
enlaces externos
J. Adamek, H. Herrlich, G. Stecker, Categorías abstractas y concretas: la alegría de los gatos