# 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 |