Seminario del 2024

Ottobre
29
2024
Nicola Carissimi
Seminario di algebra e geometria, logica, teoria delle categorie
Two main generalizations of categories are bicategories and enriched categories. The first one allows morphisms one level up, the other one allows morphisms to be much more general objects rather than just sets. This talk will try to explain what happens if we do the two at the same time. In particular, we will explore the main available results and tools with which enriched bicategories can be tamed. Among the results we have strictification theorems, for what concerns the tools, most notably, the extremely powerful language of string diagrams. Time permitting, we will see the combination of the two in action.

indietro