The Peripatetic Seminar is a research seminar which supports the research of faculty, postdoctoral fellows and students in computer science, mathematics and philosophy. There is a particular focus on category theory, theoretical programming languages and homotopy theory. Recent themes in the seminar have included differential and integral categories, type and proof theories including homotopy type theory, and categorical quantum information theory.

Old picture:

Not a good T-shirt idea: