This is the webpage of the University of Manchester Category Theory group. We are a subgroup of the University of Manchester's Logic group.
Our work includes research into a variety of topics in category theory and its relation to logic, including the following topics:
- Categorical Logic
- Low-dimensional higher category theory
- ∞-category theory
- Models of dependent type theory
- Duality Theorems
- Topos theory
- Categorical model theory
We also are a member of YAMCATS, a category theory research network between the universities of Leeds, Manchester and Sheffield.
LATEST NEWS
- 12/03/2025 --- Alex Kavvos will be giving the Manchester Logic Seminar at 15:00 in Frank Adams 2.
- 03/04/2025-04/04/2025 --- Ohad Kammar will be visiting. Note that we will the category theory seminar at an unusual time and date and place:Thursday 3rd April, 14:00-16:00 in Frank Adams 2.
- 28/04/2025-02/05/2025 --- Fernando Abellan Gacia will be visiting.
- 30/04/2025 --- Andy Pitts will be giving the Manchester Logic Seminar at 15:00 in Frank Adams 2.
- 14/05/2025 --- Nicolai Kraus will be giving the Manchester Logic Seminar at 15:00 in Frank Adams 2.
- 23/06/2025 at 13:00 UTC --- LMS Hardy Lectureship 2025. Speakers include Emily Riehl, Daniel Gratzer and David Jaz Myers.