Questo sito utilizza solo cookie tecnici per il corretto funzionamento delle pagine web e per il miglioramento dei servizi.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Seminario del 2024
Ottobre
29
2024
Nicola Carissimi
nell'ambito della serie: LOGIC, CATEGORIES, AND APPLICATIONS SEMINAR
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.