Preprints
- Bicategories of algebras for relative pseudomonads (with Nathanael Arkor and Philip Saville), , arXiv
Papers
- Hofmann–Streicher Lifting of Fibred Categories (with Jon Sterling), , Logic in Computer Science
- Pseudocommutativity and lax idempotency for relative pseudomonads, , Theory and Applications of Categories
PhD Thesis
- Commutativity of Relative Pseudomonads, University of Leeds (2024), eThesis
Talks
- Hofmann–Streicher lifting of fibred categories, Fortieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), , Slides
- Bicategories of algebras for relative pseudomonads, CT2024, , Poster
- Presheaf algebras are cocomplete categories, University of Manchester Category Theory Seminar, , Poster
- Pseudocommutativity and lax idempotency for relative pseudomonads, CT2023, , Poster
- Pseudocommutativity for relative pseudomonads, PSSL 107, , Slides
- Property-like structures and relative pseudomonads, Yorkshire and Midlands Category Theory Seminar 27, , Slides
- The 2-category of algebras over a relative 2-monad, University of Leeds 'Proofs, Constructions, Computations and Categories' Seminar, , Slides
- Varieties of relative monad, University of Leeds first-year transfer interview, , Slides
- Well-quasiorders and Kruskal's Tree Theorem, University of Leeds Postgraduate Logic Seminar, , Slides
Master's Essay
- Well-quasiorders, University of Cambridge, , pdf