Category Theory Seminar
Michaelmas 2012
Meetings are held at 2.15pm on Tuesdays in Room MR5 of the CMS (Down the stairs beside the reception at the CMS). Part III students are particularly welcome.
Tue, 09 Oct 2012 14:15 in MR5, Centre for Mathematical Sciences
Martin Hyland, DPMMS, Cambridge
A categorical view of classical lambda calculus
Tue, 16 Oct 2012 14:15 in MR5, Centre for Mathematical Sciences
Marcelo Fiore, Cambridge
Lie structure in Logic wiring
Tue, 23 Oct 2012 14:15 in MR5, Centre for Mathematical Sciences
Peter Johnstone, DPMMS, Cambridge
Geometric morphisms between relizability toposes
Tue, 30 Oct 2012 14:15 in MR4, Centre for Mathematical Sciences
Isar Stubbe, Calais, France
Grothendieck topologies and Grothendieck quantales
Tue, 06 Nov 2012 14:15 in MR5, Centre for Mathematical Sciences
Dion Coumans, Nijmegen, Netherlands
On constructing free algebras and properties of free Heyting algebras
Tue, 13 Nov 2012 14:15 in MR5, Centre for Mathematical Sciences
Nick Gurski, Sheffield
Coherence for symmetric monoidal bicategories
Tue, 20 Nov 2012 14:15 in MR5, Centre for Mathematical Sciences
Anders Kock, Aarhus, Denmark
Commutative monads, distributions, and differential categories
Tue, 27 Nov 2012 14:15 in MR5, Centre for Mathematical Sciences
Olivia Caramello, DPMMS
Topological Galois Theory
Generated from Category Theory Seminar at talks.cam on Sun 30 Dec 2012 02:33:02 GMT