The University of Manchester Category Theory Group

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.
• 15/10/2025 Mathieu Anel will give the Manchester Logic seminar in a talk titled "Non-univalent universes"
• 19/11/2025 Higher Structures in Category Theory, Homotopy Theory and Type Theory is happening in the University of Nottingham.