Coloquio Junior de matemáticas
Categorías monoidales y razonamiento diagramático
Ponente: Arnau Mas Dorca (ICMAT-UC3M)Fecha: miércoles 28 de febrero de 2024 - 17:00 (Coffee break: 18:00)Lugar: Aula Naranja, ICMAT
Resumen:
Ha habido recientemente un esfuerzo para acercar la teoría de categorías a contextos más aplicados. En particular, las categorías tensoriales han visto una explosión de usos, como por ejemplo en las teorías cuánticas de campos topológicas (TQFT), o en la descripción de algoritmos cuánticos. En general, cualquier contexto en el que existan dos nociones de composición: una secuencial y una paralela, puede entenderse como un ejemplo de categoría monoidal.
En este coloquio, daremos una introducción a estas estructuras, así como a algunas de sus variantes. Además, veremos como en el contexto de las categorías monoidales existe un sistema de cálculo diagramático, los "string diagrams", que se puede usar como un método de razonamiento muy potente.
Más información:
