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.
Speakers:
- Pedro Amorim, University of Bath (United Kingdom)
- Benjamin Bumpus, University of São Paulo (Brazil)
- Elena Caviglia, Stellenbosch University (South Africa)
- Alan Cigoli, University of Turin (Italy)
- Fernando Lucatelli, University of Coimbra (Portugal)
- Maria Emilia Maietti, University of Padua (Italy)
- Sandra Mantovani, University of Milan (Italy)
- Hugo Mariano, University of São Paulo (Brazil)
- Vincenzo Marra, University of Milan (Italy)
- Luca Reggio, University of Milan (Italy)
- José Siqueira, Wolfson College & St Edmund’s College (United Kingdom)
