Ottobre
29
2024
Seminario di algebra e geometria, logica, teoria delle categorie
ore 14:00
presso Seminario II
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.
Torna alla pagina dei seminari del Dipartimento di Matematica di Bologna