Andrew Slattery

Papers

1. Pseudocommutativity and lax idempotency for relative pseudomonads, 2023, Theory and Applications of Categories

Exposition

• Pseudoalgebras for the presheaf relative pseudomonad are cocomplete, pdf
• Relative monads on symmetric multicategories, pdf
• Strong relative monads on multicategories and on monoidal categories, pdf
• The Eilenberg-Moore bicategory over a relative pseudomonad, pdf

Talks

1. Hofmann–Streicher lifting of fibred categories, Fortieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025, Slides
2. Presheaf Algebras are Cocomplete Categories, University of Manchester Category Theory Seminar, 2023, Poster
3. Pseudocommutativity and lax idempotency for relative pseudomonads, CT2023, 2023, Poster
4. Pseudocommutativity for relative pseudomonads, PSSL 107, 2023, Slides
5. Property-like structures and relative pseudomonads, Yorkshire and Midlands Category Theory Seminar 27, 2022, Slides
6. The 2-category of algebras over a relative 2-monad, University of Leeds 'Proofs, Constructions, Computations and Categories' Seminar, 2021, Slides
7. Varieties of relative monad, University of Leeds first-year transfer interview, 2021, Slides
8. Well-quasiorders and Kruskal's Tree Theorem, University of Leeds Postgraduate Logic Seminar, 2021, Slides

Master's Essay

1. Well-quasiorders, University of Cambridge, 2020, pdf