An introductory course to category theory.
A list of projects that students can work on with me.
The association of Italian Category theorists organizes recurring online seminars and other events.
A reading group.
The 110th Peripathetic Seminar on Sheaves and Logic will be held in Tallinn in May 2025.
Awarded for distinguished research achievements.
The 103rd Peripathetic Seminar on Sheaves and Logic took place in Brno.
Techniques of counting, probability, discrete and continuous random variables.
An online Category Theory reading course, supervised by Emily Riehl.
Student: G. Boccali (started September 2025)
Student: A. Laretto (started November 2022)
Project: Dinaturality and type theory
Student: A. Laretto
The SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M) organizes an international long-term mentoring program for programming languages researchers.
Student: T. Massacrier
Project: From combinatorial species to general differential 2-rigs
Student: G. Sorgente
Thesis: Formal theory of promonads
Student: G. Ronchi
Thesis: Adjoint Functors