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

Category Theory Seminar
Michaelmas 2008

Meetings are held at 2.15pm on Tuesdays in Room MR9 of the CMS (Pavilion B). Part III students are particularly welcome.

Tue, 14 Oct 2008 14:15 in MR9, Centre for Mathematical Sciences

Martin Hyland (University of Cambridge)
Sums and tensor products of algebraic theories

Tue, 21 Oct 2008 14:15 in MR9, Centre for Mathematical Sciences

John Power (University of Bath)
Generalising Lawvere theories to an axiomatically defined base

Tue, 28 Oct 2008 14:15 in MR9, Centre for Mathematical Sciences

Marcelo Fiore (University of Cambridge)
Synthesis of Second-Order Equational Logic

Tue, 04 Nov 2008 14:15 in MR9, Centre for Mathematical Sciences

Richard Garner (University of Cambridge)
Syntax graphs and substitution by pushout

Tue, 11 Nov 2008 14:15 in MR9, Centre for Mathematical Sciences

Olivia Caramello (University of Cambridge)
Atomic toposes and countable categoricity

Tue, 18 Nov 2008 14:15 in MR9, Centre for Mathematical Sciences

Mark Weber (Université Paris 7)
Tensor products in higher category theory

Tue, 25 Nov 2008 14:15 in MR9, Centre for Mathematical Sciences

Ranald Clouston (University of Cambridge)
Lawvere Theories for Nominal Equational Logic

Tue, 02 Dec 2008 14:15 in MR9, Centre for Mathematical Sciences

Simon Willerton (University of Sheffield)
Two 2-traces