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