Gallery

Here is a bunch of photos from conferences and talks. If you like, you can play “Where’s Wally” with me in the group photos.

Categorified Choice Principles, Biritsh Logic Colloquium, Manchester University, UK. September 12 2025.

Internal categories, algebraic model structures and type theory, International category theory conference, Masaryk University, Brno, Czechia. July 18 2025.

Category Theory Conference, 2025. Brno, Czechia. Group photo.

TYPES, 2025. Glasgow, Scotland. Group photo.

110th Peripatetic Seminar on Sheaves and Logic (PSSL 110), 2025. Tallinn, Estonia. Group photo.

Categorical Logic and Higher Category Theory DKO workshop 2024. Manchester. Group photo.

Category Theory Conference, 2024. Santiago de Compostela. Excursion.

Category Theory Conference, 2024. Santiago de Compostela. Welcome Drinks.

Category Theory Conference, 2024. Santiago de Compostela. Group photo.

The Elementary Theory of the 2-Category of Small Categories, Pure Postgraduate Seminar, University of Manchester. March 01 2024.

Category Theory Conference, 2023. Louvain-La-Nueve.

Homotopy Type Theory Conference, 2023. Carnegie Melon University.