Categorías con traza.

En esta charla vamos a hablar de categorías monoidales simétricas con traza. Empezaremos viendo la definición y algunos ejemplos, para después centrarnos en las categorías rígidas. En este caso, la existencia de duales permite construir una traza de manera natural, y veremos además que esta es la única traza posible. Por último, vamos a ver por qué las categorías rígidas son un marco suficientemente general para pensar en categorías con traza. En particular, veremos un resultado que dice que toda categoría con traza puede verse dentro de una categoría rígida, preservando la traza.