Special Session 17

Category theory and Applications

Organizers: Hugo Mariano (University of São Paulo, Brazil), Davide Trotta (University of Padua, Italy), Samuele Maschio (University of Padua, Italy)

MSC codes: 18-XX

Description: This special session is devoted to current research, developed by Italian and Brazilian researchers, in category theory, covering its main areas, methods and applications. The session brings together contributions of categorical methods and themes in: toposes, fibrations, 2-categories, descent, dualities, comonads, categorical logic, type theory, sheaves and graphs. Its aim is to provide a unified forum for presenting recent developments across these interconnected fields. By covering a wide spectrum of themes in category theory, the session aims to stimulate interaction and strengthen collaborations between Italian and Brazilian researchers working in category theory and its applications in mathematics and theoretical computer science.