Department of Pure Mathematics and Mathematical Statistics 

DPMMS > Research > Category Theory Seminar 
Meetings are held at 2.15pm on Tuesdays in Room MR9 of the CMS (Pavilion B). Part III students are particularly welcome.
Martin Hyland (University of Cambridge)
Sums and tensor products of algebraic theories
John Power (University of Bath)
Generalising Lawvere theories to an axiomatically defined base
Marcelo Fiore (University of Cambridge)
Synthesis of SecondOrder Equational Logic
Richard Garner (University of Cambridge)
Syntax graphs and substitution by pushout
Olivia Caramello (University of Cambridge)
Atomic toposes and countable categoricity
Mark Weber (Université Paris 7)
Tensor products in higher category theory
Ranald Clouston (University of Cambridge)
Lawvere Theories for Nominal Equational Logic
Simon Willerton (University of Sheffield)
Two 2traces