Fecha de inicio
Tendremos el agrado de escuchar a la Dra. Bojana Femic en el seminario
Quien conoce la definición de una 2- o bicategoría y/o (todavía "peor") de una 2-/bicategoría monoidal simétrica,
sabe qué trabajoso es verificar si un candidato para una tal estructura satisface todos los axiomas requeridos.
De ahí mi gran entusiasmo cuando descubrí el resultado de Schulman [2010] que afirma que bajo ciertas hipótesis
una categoría doble monoidal da lugar a una 2-categoría monoidal simétrica. Categorías dobles fueron introducidas por
Ehresmann en el 1963, y categorías dobles monoidales introduce Schulman en el trabajo citado. Chequear las hipótesis
de su Teorema es efectivamente mucho más simple que verificar los axiomas de una 2-categoría monoidal simétrica.
En esta charla pienso presentar la definición de una categoría doble monoidal, algunos ejemplos de esta, como y el
Teorema mencionado. Veremos en un ejemplo cómo las hipótesis del Teorema se cumplen, pero también por qué este
Teorema no aplica al ejemplo de una 2-categoría al cual yo tan ansiosamente lo quería aplicar. .