An introductory course to category theory.
The association of Italian Category theorists organizes recurring online seminars and other events.
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 (starting 2025)
Project: On 2-categorical aspects of automata theory
Student: A. Laretto (started 2023)
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