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
- 30/01/2025 at 17:00 UTC --- Adrian Miranda will be speaking in the Topos institute. It will be streamed and recorded here.
- 31/01/2025 at 10:00 UTC --- Adrian Miranda will be speaking in the Semigroup seminar.