**The Categorical Late Lunch** is Edinburgh's category theory seminar.

The seminar is intended to be pretty low-key—a place where, for instance, PhD students feel comfortable giving an introduction to some standard categorical topic. It's *not* intended to be an ordinary seminar where the norm is to describe your latest cutting-edge work (though that's not forbidden!).

We have a mixed group of participants, ranging in focus from derived algebraic geometry to theoretical computer science, so talks should be accessible to anyone who knows some basic category theory. The aim is to create an informal environment, where interaction during the talks is encouraged.

In Autumn 2022 the CLL will run as a hybrid seminar, at the Bayes Centre and via Zoom. To keep things relaxed, this is for UoE and friends, and not publicly accessible. For more details, or to propose a topic, email Emily or Ruben.

The Late Lunch is just one of several seminars run within the Hodge Institute. Details of *all* the seminars can be found at the Hodge seminars webpage.

21.09.2022 | Ruben Van Belle | 'An overview of categorical probability theory' | Slides |

05.10.2022 | Clark Barwick | 'Categorical aspects of pyknotic/condensed structures' | |

19.10.2022 | Marcelo Fiore (Cambridge) | 'Stabilised profunctors between groupoids' | |

02.11.2022 | William Bevington | 'From topology and strata to categories and décollages - why is category theory so darn useful?' | |

16.11.2022 | Simon Willerton (Sheffield) | 'Metric spaces, entropic spaces and convexity' | |

23.11.2022 | Fatimah Ahmadi (Oxford) | 'Additive 2-categories' | |

Seminar cancelled due to industrial action |

08.03.2022 | Carlos Zapata-Carratala | 'Tentative ternary categories and the mystery of ternary associativity' | Slides |

15.03.2022 | Matthew Di Meglio | 'Universal indexed categories' | |

Seminar cancelled due to industrial action | |||

29.03.2022 | Ruben Van Belle | 'Lax natural transformations and measures' | |

05.04.2022 | Jade Master | 'A categorical view on the Floyd-Warshall algorithm' | |

12.04.2022 | Karim Réga | 'Categorical aspects in moduli theory' |

13.10.2021 | Chris Heunen | 'Axioms for the category of Hilbert spaces' | Slides |

27.10.2021 | Nuiok Dicaire
Emily Roff Jesse Sigal Ruben Van Belle |
'Modularity and monads'
'Return of the alley cats: 10 minutes of magnitude' 'Strict monoidal categories are monoids in what category?' 'Categorical probability theory' |
Slides
Slides Slides |

10.11.2021 | Jenny Brown | 'Skeins and clusters' | |

24.11.2021 | Patrick Kinnear | 'Morita categories' | Slides |

08.12.2021 | Simona Paoli | 'Higher categories in dimension two: some old and new perspectives' |

28.07.2021 | Jade Master | 'The universal property of the algebraic path problem' | Partial notes |

04.08.2021 | Ruben Van Belle | 'Probability monads as codensity monads' | Slides |

11.08.2021 | Emily Roff | 'What is a hole in a locally metric category?' | Slides |

18.08.2021 | Callum Reader | 'Scalars and traces in bicategories' | Slides |

25.08.2021 | Nuiok Dicaire | 'Localisable monads' | Slides |

20.01.2021 | Tom Leinster | 'Isbell conjugacy' | Whiteboard |

03.02.2021 | Chris Heunen | 'Sheaf representation of monoidal categories' | Slides |

03.03.2021 | Robin Kaarsgaard | 'Graph traversals as universal constructions' | Slides |

10.03.2021 | Clark Barwick | 'A motivated introduction to ∞-categories: Part 1' | Blackboard |

17.03.2021 | Clark Barwick | 'A motivated introduction to ∞-categories: Part 2' | |

31.03.2021 | Nuiok Dicaire | 'Monads, graded monads, and computational effects' | Slides |

01.10.2020 | Tom Leinster | 'The surprising power of free categories' | Whiteboard |

15.10.2020 | Jean-Simon Lemay | 'Hopf monads and trace monads' | Whiteboard |

29.10.2020 | Graham Manuell | 'A 2-categorical bifunctor theorem' | Slides |

12.11.2020 | Ruben Van Belle | 'Lax algebras and topology' | Slides |

26.11.2020 | Carlos Zapata-Carratala | 'Ternary structures: generalising associativity and categories' | Blackboard |

10.12.2020 | Pablo Andres-Martinez | 'Feedback loops without coproducts: Haghverdi's Unique Decomposition Categories' | Whiteboard |