Concepto en la teoría de categorías.
En teoría de categorías , los functores monoidales son funtores entre categorías monoidales que preservan la estructura monoidal. Más específicamente, un funtor monoidal entre dos categorías monoidales consta de un funtor entre las categorías, junto con dos mapas de coherencia : una transformación natural y un morfismo que preservan la multiplicación monoidal y la unidad, respectivamente. Los matemáticos requieren que estos mapas de coherencia satisfagan propiedades adicionales dependiendo de cuán estrictamente quieran preservar la estructura monoidal; cada una de estas propiedades da lugar a una definición ligeramente diferente de functores monoidales
- Los mapas de coherencia de funtores monoidales laxos no satisfacen propiedades adicionales; no son necesariamente invertibles.
- Los mapas de coherencia de functores monoidales fuertes son invertibles.
- Los mapas de coherencia de funtores monoidales estrictos son mapas de identidad.
Aunque aquí distinguimos entre estas diferentes definiciones, los autores pueden llamar a cualquiera de estos functores simplemente monoidales .
Definición
Sean y sean categorías monoidales. Un funtor monoidal laxo de a (que también puede denominarse simplemente funtor monoidal) consta de un funtor junto con una transformación natural
entre functores y un morfismo
- ,
llamados mapas de coherencia o morfismos de estructura , que son tales que por cada tres objetos , y de los diagramas
- ,
- y
desplazamiento en la categoría . Arriba, las diversas transformaciones naturales indicadas con son partes de la estructura monoide en y . [1]
Variantes
- El dual de un funtor monoidal es un funtor comonoidal ; es un funtor monoidal cuyos mapas de coherencia están invertidos. Los funtores comonoidales también pueden denominarse funtores opmonoidales, colax monoidales u oplax monoidales.
- Un funtor monoidal fuerte es un funtor monoidal cuyos mapas de coherencia son invertibles.
- Un funtor monoidal estricto es un funtor monoidal cuyos mapas de coherencia son identidades.
- Un funtor monoidal trenzado es un funtor monoidal entre categorías monoidales trenzadas (con trenzados denotados ) tal que el siguiente diagrama conmuta para cada par de objetos A , B en :
Ejemplos
- El functor subyacente de la categoría de grupos abelianos a la categoría de conjuntos. En este caso, el mapa envía (a, b) a ; el mapa envía a 1.
- Si es un anillo (conmutativo), entonces el funtor libre se extiende a un funtor fuertemente monoidal (y también si es conmutativo).
- Si es un homomorfismo de anillos conmutativos, entonces el funtor de restricción es monoidal y el funtor de inducción es fuertemente monoidal.
- Un ejemplo importante de functor monoide simétrico es el modelo matemático de la teoría cuántica de campos topológica , que se ha desarrollado recientemente. Sea la categoría de cobordismos de variedades n-1,n -dimensionales con producto tensor dado por unión disjunta, y una unidad de la variedad vacía. Una teoría de campos cuánticos topológicos en dimensión n es un funtor monoide simétrico
- El funtor de homología es monoidal como en el mapa .
Nociones alternativas
Si y son categorías monoidales cerradas con functores hom internos (eliminamos los subíndices para facilitar la lectura), existe una formulación alternativa
- ψ AB : F ( A ⇒ B ) → FA ⇒ FB
de φ AB comúnmente utilizado en programación funcional . La relación entre ψ AB y φ AB se ilustra en los siguientes diagramas conmutativos:
Propiedades
- Si es un objeto monoide en , entonces es un objeto monoide en . [2]
Funtores monoidales y adjuntos
Supongamos que se deja un funtor junto a un monoide . Luego tiene una estructura comonoidal inducida por , definida por
y
- .
Si la estructura inducida es fuerte, entonces la unidad y la unidad de la conjunción son transformaciones naturales monoidales , y se dice que la conjunción es una conjunción monoidal ; por el contrario, el adjunto izquierdo de una conjunción monoidal es siempre un funtor monoidal fuerte.
De manera similar, un adjunto derecho de un funtor comonoidal es monoidal, y el adjunto derecho de una conjunción comonoidal es un funtor monoidal fuerte.
Ver también
Citas en línea
- ^ Perrone (2024), págs. 360–364
- ^ Perrone (2024), págs. 367–368
Referencias
- Kelly, G. Max (1974). "Complemento doctrinal". Seminario de categoría . Apuntes de conferencias de matemáticas. vol. 420. Saltador. págs. 257–280. doi :10.1007/BFb0063105. ISBN 978-3-540-37270-7.
- Perrone, Paolo (2024). Teoría de categorías iniciales. Científico mundial. doi :10.1142/9789811286018_0005. ISBN 978-981-12-8600-1.