Search U Cam DPMMS Home
University of Cambridge Home Department of Pure Mathematics
and Mathematical Statistics
DPMMS > Research > Category Theory Seminar

Category Theory Seminar
Lent 2009

Meetings are held at 2.15pm on Tuesdays in Room MR3 of the CMS (under the central core). Part III students are particularly welcome.

Thu, 08 Jan 2009 14:15 in MR9, Centre for Mathematical Sciences

Chris Heunen (Radboud University Nijmegen)
Hilbert categories and quantum logic

Tue, 20 Jan 2009 14:15 in MR3, Centre for Mathematical Sciences

Louis Crane (Kansas State University)
Model category theory and quantum gravity

Tue, 27 Jan 2009 14:15 in MR3, Centre for Mathematical Sciences

Richard Garner (University of Cambridge)
Two-dimensional models of Martin-Löf type theory

Tue, 03 Feb 2009 14:15 in MR3, Centre for Mathematical Sciences

Olivia Caramello (University of Cambridge)
Fraïssé's construction from a topos-theoretic perspective

Tue, 10 Feb 2009 14:15 in MR3, Centre for Mathematical Sciences

Sam Staton (University of Cambridge)
Two cotensors in one

Tue, 17 Feb 2009 14:15 in MR3, Centre for Mathematical Sciences

Benno van den Berg (Technische Universität Darmstadt)
Types are weak ω-groupoids

Tue, 24 Feb 2009 14:15 in MR3, Centre for Mathematical Sciences

Jeff Egger (University of Edinburgh)
Of operator algebras and operator spaces

Tue, 03 Mar 2009 14:15 in MR3, Centre for Mathematical Sciences

Paul Blain Levy (University of Birmingham)
Some categories arising in the semantics of state and exceptions

Tue, 10 Mar 2009 14:15 in MR3, Centre for Mathematical Sciences

Marj Batchelor (University of Cambridge)
The homological role of measuring comodules