# 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