Seminari del Dipartimento di Matematica

Seminario del 2024

Nicola Carissimi

Enriched bicategories and string diagrams

nell'ambito della serie: LOGIC, CATEGORIES, AND APPLICATIONS SEMINAR

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.