Department of Pure Mathematics and Mathematical Statistics 

DPMMS > Research > Category Theory Seminar 
Meetings are held at 2.15pm on Tuesdays in Room MR3 of the CMS (under the central core). Part III students are particularly welcome.
Chris Heunen (Radboud University Nijmegen)
Hilbert categories and quantum logic
Louis Crane (Kansas State University)
Model category theory and quantum gravity
Richard Garner (University of Cambridge)
Twodimensional models of MartinLöf type theory
Olivia Caramello (University of Cambridge)
Fraïssé's construction from a topostheoretic perspective
Sam Staton (University of Cambridge)
Two cotensors in one
Benno van den Berg (Technische Universität Darmstadt)
Types are weak ωgroupoids
Jeff Egger (University of Edinburgh)
Of operator algebras and operator spaces
Paul Blain Levy (University of Birmingham)
Some categories arising in the semantics of state and exceptions
Marj Batchelor (University of Cambridge)
The homological role of measuring comodules