Category Theory Seminar

The informal category theory seminar is exactly what it sounds like: a place for people to give and listen to talks about category theory, whether based on applications or pure theory. We meet at 6311 (JCMB) at 15:10am every Wednesday. The schedule for this semester can be found below, and also here. Please feel free to contact tom.avery at ed.ac.uk with any enquiries or to be added to the mailing list.

07/10/2015	Tom Leinster	What is the spectrum, categorically?
14/10/2015	Chris Heunen	Spectra of rings
21/10/2015	Martti Karvonen	Frobenius Monads
28/10/2015	Kevin Dunne	PROPs and their spectra
4/11/2015	Tom Avery	The Giry monad and codensity monads
11/11/2015	Matt Booth	Introduction to model categories
18/11/2015	Alessandro Slamitz	The magnitude of a finte-dimensional algebra
25/11/2015	NO SEMINAR
2/12/2015	Craig Robertson	TBA
2/12/2015	Bram Westerbaan	The category of Von Neumann algebras
9/12/2015	Federico Orsanigo	Homotopy type theory

Past speakers:

Spring 2015

16/1/2015	Tom Leinster
23/1/2015	Sjoerd Beentjes	An introduction to derived categories
6/2/2015	Alex Simpson	The random topos
13/2/2015	Aaron Greenspan	Cohomology of a category
20/2/2015	Tom Avery	Logic in a topos part 1
27/2/2015	Tom Avery	Logic in a topos part 2
6/3/2015	Tom Leinster	Do objects of a category have elements?

Autumn 2014:

17/10/2014	Martin Kalck	Frobenius categories
24/10/2014	Aaron Greenspan	The Catalan Simplicial set and monoidal categories
31/10/2014	Tom Avery	Synthetic differential geometry (joint with Geometry club)
7/11/2014	Barry Devlin	Codensity, Ultrafilters and Compact Algebras
14/11/2014	Przemek Pobrotyn	Beck's monadicity theorem
21/11/2014	Tom Avery	Codensity monads and probability measures
28/11/2014	Alex Simpson	An introduction to Grothendieck toposes - one user's perspective