En matemáticas , una categoría monoidal (o categoría tensorial ) es una categoría equipado con un bifunctor
que es asociativo hasta un isomorfismo natural , y un objeto I que es tanto una identidad de izquierda como de derecha para ⊗, nuevamente hasta un isomorfismo natural. Los isomorfismos naturales asociados están sujetos a ciertas condiciones de coherencia , que aseguran que todos los diagramas relevantes conmuten.
La corriente de producto tensor hace que los espacios vectoriales , grupos abelianos , R -modules , o R -álgebras en categorías monoidales. Las categorías monoidales pueden verse como una generalización de estos y otros ejemplos. Cada categoría (pequeña) monoidal también puede verse como una " categorización " de un monoide subyacente , es decir, el monoide cuyos elementos son las clases de isomorfismo de los objetos de la categoría y cuya operación binaria viene dada por el producto tensorial de la categoría.
Una aplicación bastante diferente, de la cual las categorías monoidales pueden considerarse una abstracción, es la de un sistema de tipos de datos cerrados bajo un constructor de tipos que toma dos tipos y construye un tipo agregado; los tipos son los objetos yes el constructor agregado. La asociatividad hasta el isomorfismo es entonces una forma de expresar que diferentes formas de agregar los mismos datos, como y —Almacenar la misma información aunque los valores agregados no tengan por qué ser los mismos. Los objetos de identidad son análogos a las operaciones algebraicas de suma (tipo suma) y multiplicación (tipo producto). Para el tipo de producto - el objeto de identidad es la unidad, trivialmente habita completamente su tipo, por lo que solo hay un habitante del tipo, y es por eso que un producto con él siempre es isomorfo al otro operando. Para el tipo suma, el objeto de identidad es el tipo vacío , que no almacena información y sus habitantes son imposibles de abordar. El concepto de categoría monoidal no presupone que los valores de tales tipos de agregados puedan separarse; por el contrario, proporciona un marco que unifica la teoría de la información clásica y la cuántica . [1]
En la teoría de categorías , las categorías monoidales pueden usarse para definir el concepto de un objeto monoide y una acción asociada sobre los objetos de la categoría. También se utilizan en la definición de una categoría enriquecida .
Las categorías monoidales tienen numerosas aplicaciones fuera de la teoría de categorías propiamente dicha. Se utilizan para definir modelos para el fragmento multiplicativo de lógica lineal intuicionista . También forman la base matemática del orden topológico en la materia condensada. Categorías monoidales trenzados tienen aplicaciones en la información cuántica , la teoría cuántica de campos , y la teoría de cuerdas .
Definicion formal
Una categoría monoidal es una categoríaequipado con una estructura monoidal. Una estructura monoidal consta de lo siguiente:
- un bifunctor llamado producto tensorial o producto monoidal ,
- un objeto llamado objeto unitario u objeto de identidad ,
- tres isomorfismos naturales sujetos a ciertas condiciones de coherencia que expresan el hecho de que la operación tensorial
- es asociativo: hay un natural (en cada uno de los tres argumentos , , ) isomorfismo , llamado asociador , con componentes,
- posee como identidad izquierda y derecha: hay dos isomorfismos naturales y , denominados respectivamente unitor izquierdo y derecho , con componentes y .
Tenga en cuenta que una buena forma de recordar cómo y el acto es por aliteración; Lambda ,, cancela la identidad de la izquierda , mientras que Rho ,, cancela la identidad de la derecha .
Las condiciones de coherencia para estas transformaciones naturales son:
- para todos , , y en , el diagrama del pentágono
- conmuta ;
- para todos y en , el diagrama triangular
- conmuta.
Una categoría monoidal estricta es aquella para la que los isomorfismos naturales α , λ y ρ son identidades. Cada categoría monoidal es monoidalmente equivalente a una categoría monoidal estricta.
Ejemplos de
- Cualquier categoría con productos finitos puede considerarse monoidal con el producto como producto monoidal y el objeto terminal como unidad. Esta categoría a veces se denomina categoría monoidal cartesiana . Por ejemplo:
- Conjunto , la categoría de conjuntos con el producto cartesiano, cualquier conjunto de un elemento particular que actúa como unidad.
- Cat , la categoría de categorías pequeñas con la categoría de producto , donde la categoría con un objeto y solo su mapa de identidad es la unidad.
- Doblemente, cualquier categoría con coproductos finitos es monoidal con el coproducto como producto monoidal y el objeto inicial como unidad. Tal categoría monoidal se llama monoidal cocartesiana.
- R -Mod , la categoría de módulos sobre un anillo conmutativo R , es una categoría monoidal con el producto tensorial de los módulos ⊗ R sirviendo como producto monoidal y el anillo R (pensado como un módulo sobre sí mismo) sirviendo como unidad. Como casos especiales se tiene:
- K -Vect , la categoría de espacios vectoriales sobre un campo K , con el espacio vectorial unidimensional K que sirve como unidad.
- Ab , la categoría de grupos abelianos , con el grupo de enteros Z como unidad.
- Para cualquier anillo conmutativo R , la categoría de R -álgebras es monoidal con el producto tensorial de álgebras como producto y R como unidad.
- La categoría de espacios puntiagudos (restringidos a espacios generados de forma compacta, por ejemplo) es monoidal con el producto smash como producto y la esfera 0 puntiaguda (un espacio discreto de dos puntos) como unidad.
- La categoría de todos los endofunctores en una categoría C es una categoría monoidal estricta con la composición de los functores como producto y el funtor de identidad como unidad.
- Al igual que para cualquier categoría E , la subcategoría completa abarcada por cualquier objeto dado es un monoide, es el caso de que para cualquier categoría E 2 y cualquier objeto C en Ob ( E ), la subcategoría 2 completa de E abarcada por { C } es una categoría monoidal. En el caso E = Cat , obtenemos el ejemplo de endofunctores anterior.
- Las semirreticulaciones de encuentro delimitado por encima son categorías monoidales simétricas estrictas : el producto se cumple y la identidad es el elemento superior.
- Cualquier monoide ordinario es una pequeña categoría monoidal con conjunto de objetos , solo identidades para morfismos , como producto tensor y como su objeto de identidad. A la inversa, el conjunto de clases de isomorfismo (si tal cosa tiene sentido) de una categoría monoidal es un monoide con el producto tensorial.
Pedidos anticipados monoidales
Los preordenes monoidales, también conocidos como "monoides preordenados", son casos especiales de categorías monoidales. Este tipo de estructura surge en la teoría de los sistemas de reescritura de cadenas , pero también abunda en matemáticas puras. Por ejemplo, el conjuntode números naturales tiene una estructura monoide (usando + y 0) y una estructura de preorden (usando ≤), que juntas forman un preorden monoidal, básicamente porque y implica . Presentamos ahora el caso general.
Es bien sabido que un pedido anticipado se puede considerar como una categoría C , de modo que por cada dos objetos, existe a lo sumo un morfismoen C . Si sucede que hay un morfismo de c a c ' , podríamos escribir, pero en la sección actual nos resulta más conveniente expresar este hecho en forma de flecha . Debido a que existe a lo sumo uno de esos morfismos, nunca tenemos que darle un nombre, como. Los reflexividad y transitividad propiedades de un pedido se contabilizan respectivamente por el morfismo identidad y la fórmula de composición en C . Nosotros escribimos si y , Es decir, si son isomorfos en C . Tenga en cuenta que en un orden parcial , cualesquiera dos objetos isomorfos son de hecho iguales.
En el futuro, supongamos que queremos añadir una estructura monoidal a la orden previo C . Hacerlo significa que debemos elegir
- un objeto , llamada unidad monoidal , y
- un functor , que denotaremos simplemente con el punto "", llamada multiplicación monoidal .
Así, para dos objetos cualesquiera tenemos un objeto . Debemos elegir y ser asociativo y unital, hasta el isomorfismo. Esto significa que debemos tener:
- y .
Además, el hecho de que · se requiera que sea un funtor significa, en el presente caso, donde C es un preorden, nada más que lo siguiente:
- Si y luego .
Las condiciones de coherencia adicionales para las categorías monoidales son vacías en este caso porque cada diagrama conmuta en un preorden.
Tenga en cuenta que si C es un orden parcial, la descripción anterior se simplifica aún más, porque los isomorfismos de asociatividad y unitalidad se convierten en igualdades. Otra simplificación ocurre si asumimos que el conjunto de objetos es el monoide libre en un grupo electrógeno.. En este caso podríamos escribir, donde * denota la estrella de Kleene y la unidad monoidal I representa la cuerda vacía. Si partimos de un conjunto R de generar morfismos (hechos sobre ≤), recuperamos la noción habitual de sistema semi-Thue , donde R se denomina "regla de reescritura".
Para volver a nuestro ejemplo, sea N la categoría cuyos objetos son los números naturales 0, 1, 2, ..., con un solo morfismo Si en el orden habitual (y sin morfismos de i a j en caso contrario), y una estructura monoidal con la unidad monoidal dada por 0 y la multiplicación monoidal dada por la adición habitual,. Entonces N es un preorden monoidal; de hecho es el generado libremente por un solo objeto 1, y un solo morfismo 0 ≤ 1, donde nuevamente 0 es la unidad monoidal.
Propiedades y nociones asociadas
De las tres condiciones de coherencia definitorias se deduce que una gran clase de diagramas (es decir, diagramas cuyos morfismos se construyen utilizando, , , identidades y producto tensorial) conmutar: este es el " teorema de coherencia " de Mac Lane . A veces se afirma incorrectamente que todos estos diagramas se desplazan.
Existe una noción general de objeto monoide en una categoría monoidal, que generaliza la noción ordinaria de monoide a partir del álgebra abstracta . Los monoides ordinarios son precisamente los objetos monoides en el conjunto de categoría monoidal cartesiano . Además, cualquier categoría monoidal estricta puede verse como un objeto monoide en la categoría de categorías Cat (equipado con la estructura monoidal inducida por el producto cartesiano).
Los functores monoidales son los functores entre categorías monoidales que preservan el producto tensorial y las transformaciones naturales monoidales son las transformaciones naturales, entre esos functores, que son "compatibles" con el producto tensorial.
Cada categoría monoidal puede verse como la categoría B (∗, ∗) de una bicategoría B con un solo objeto, denotado ∗.
Una categoría C enriquecido en una categoría monoidal M sustituye a la noción de un conjunto de morfismos entre pares de objetos en C con la noción de un M -objeto de morfismos entre cada dos objetos en C .
Categoría monoidal estricta libre
Para cada categoría C , la categoría monoidal estricta libre Σ ( C ) se puede construir de la siguiente manera:
- sus objetos son listas (sucesiones finitas) A 1 , ..., A n de objetos de C ;
- hay flechas entre dos objetos A 1 , ..., A m y B 1 , ..., B n sólo si m = n , y luego las flechas son listas (secuencias finitas) de flechas f 1 : A 1 → B 1 , ..., f n : A n → B n de C ;
- el producto tensorial de dos objetos A 1 , ..., A n y B 1 , ..., B m es la concatenación A 1 , ..., A n , B 1 , ..., B m de los dos listas y, de manera similar, el producto tensorial de dos morfismos viene dado por la concatenación de listas. El objeto de identidad es la lista vacía.
Esta operación Σ mapeo de categoría C a Σ ( C ) se puede extender a una estricta 2 mónada en Cat .
Especializaciones
- Si, en una categoría monoidal, y son naturalmente isomorfos de una manera compatible con las condiciones de coherencia, hablamos de una categoría monoidal trenzada . Si, además, este isomorfismo natural es su propio inverso, tenemos una categoría monoidal simétrica .
- Una categoría monoidal cerrada es una categoría monoidal donde el functortiene un adjunto derecho , que se llama el "functor Hom interno". Los ejemplos incluyen categorías cerradas cartesianas como Set , la categoría de conjuntos, y categorías cerradas compactas como FdVect , la categoría de espacios vectoriales de dimensión finita.
- Categorías Autónomas (o compacto CERRADO o categorías rígidas ) son categorías monoidales en las que existen duales con propiedades agradables; abstraen la idea de FdVect .
- Daga de categorías monoidales simétricas , equipada con un functor de daga extra, abstrayendo la idea de FdHilb , espacios de Hilbert de dimensión finita. Estos incluyen las categorías compactas de daga .
- Las categorías tannakianas son categorías monoidales enriquecidas sobre un campo, que son muy similares a las categorías de representación de grupos algebraicos lineales.
Ver también
- Esqueleto (teoría de categorías)
- Categoría esférica
- Acción de categoría monoidal
Referencias
- ^ Báez, Juan ; Quédate, Mike (2011). "Física, topología, lógica y computación: una piedra de Rosetta". En Coecke, Bob (ed.). Nuevas estructuras para la física . Apuntes de clases de física. 813 . Springer, Berlín. págs. 95-172. arXiv : 0903.0340 . ISBN 9783642128219. ISSN 0075-8450 .
- Joyal, André ; Calle, Ross (1993). "Categorías de tensor trenzado". Avances en matemáticas 102 , 20–78.
- Joyal, André ; Calle, Ross (1988). " Diagramas planares y álgebra tensorial ".
- Kelly, G. Max (1964). "Sobre las condiciones de MacLane para la coherencia de asociatividades naturales, conmutatividades, etc." Journal of Algebra 1 , 397–402
- Kelly, G. Max (1982). Conceptos básicos de la teoría de categorías enriquecida (PDF) . London Mathematical Society Lecture Note Series No. 64. Cambridge University Press.
- Mac Lane, Saunders (1963). "Asociatividad natural y conmutatividad". Rice University Studies 49 , 28–46.
- Mac Lane, Saunders (1998), Categorías para el matemático que trabaja (2ª ed.). Nueva York: Springer-Verlag.
- Categoría monoidal en nLab
enlaces externos
- Medios relacionados con la categoría Monoidal en Wikimedia Commons