Andrew Slattery

aws46cam.ac.uk

Research Associate in Category Theory at the University of Cambridge, Department of Computer Science and Technology

ORCID | CV

Preprints

  1. Bicategories of algebras for relative pseudomonads (with Nathanael Arkor and Philip Saville), , arXiv

Papers

  1. Hofmann–Streicher Lifting of Fibred Categories (with Jon Sterling), , Logic in Computer Science
  2. Pseudocommutativity and lax idempotency for relative pseudomonads, , Theory and Applications of Categories

PhD Thesis

  1. Commutativity of Relative Pseudomonads, University of Leeds (2024), eThesis

Talks

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

Master's Essay

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