nLab Philip Saville

Philip Saville is an assistant professor at the University of Sussex.

• personal page

• institute page

Selected writings

On coherence for cartesian closed bicategories:

• Philip Saville, Cartesian closed bicategories: type theory and coherence. PhD thesis, 2020. pdf.

On bicategories of pseudoalgebras for relative pseudomonads:

• Nathanael Arkor, Philip Saville, Andrew Slattery, Bicategories of algebras for relative pseudomonads, arXiv:2501.12510

Related entries

• bicategory
• simply typed lambda calculus

category: people