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
- 08/09/2025-19/09/2025 --- Florrie Verity will be visiting.
- 08/09/2025-12/09/2025 --- Steve Awodey will be visiting.
- 10/09/2025 --- Peter Aczel Memorial Conference will be held in the University of Manchester.
- 11/09/2025-12/09/2025 --- The British Logic Colloquium will be held in the University of Manchester.
- 06/10/2025-17/10/2025 --- Mathieu Anel will be visiting.