I work in higher category theory and its applications to logic and computer science. My interests include relative monads and pseudomonads, multicategories, and the categorical semantics of type theory.
Preprints and submitted work
- Idempotence for relative monads (with Nathanael Arkor), 2025 — submitted [ arXiv ]
- Bicategories of algebras for relative pseudomonads (with Nathanael Arkor and Philip Saville), 2025 — submitted [ arXiv ]
Papers
- Hofmann–Streicher lifting of fibred categories (with Jon Sterling), Logical Methods in Computer Science, 2026 — conference version in LICS 2025 [ arXiv ]
- Pseudocommutativity and lax idempotency for relative pseudomonads, Theory and Applications of Categories, 2023
PhD thesis
- Commutativity of Relative Pseudomonads, University of Leeds, 2024 [ eThesis ]
Talks
- Hofmann–Streicher lifting of fibred categories, LICS 2025, 2025 [ slides ]
- Bicategories of algebras for relative pseudomonads, CT2024, 2024 [ poster ]
- Presheaf algebras are cocomplete categories, University of Manchester Category Theory Seminar, 2023 [ poster ]
- Pseudocommutativity and lax idempotency for relative pseudomonads, CT2023, 2023 [ poster ]
- Pseudocommutativity for relative pseudomonads, PSSL 107, 2023 [ slides ]
- Property-like structures and relative pseudomonads, YaMCATS 27, 2022 [ slides ]
- The 2-category of algebras over a relative 2-monad, University of Leeds PCCC Seminar, 2021 [ slides ]
- Varieties of relative monad, University of Leeds first-year transfer interview, 2021 [ slides ]
- Well-quasiorders and Kruskal's Tree Theorem, University of Leeds Postgraduate Logic Seminar, 2021 [ slides ]
Master's essay
- Well-quasiorders, University of Cambridge, 2020 [ pdf ]