The University of Manchester Category Theory Group

The Category Theory working group meets weekly, and talks cover various research topics in Category Theory and related areas of mathematics. The meetings are quite informal, with discussion encouraged. This semester, we will be meeting on Fridays at 10:00-12:00 in Alan Turing G.109. If you are interested in attending future meetings or giving a talk, please contact either Nicola Gambino or Bruno Lindan, who organise the meeting.

Here is a record of past talks, as well as a schedule for any future talks.

Autumn/ Winter 2025

18.09.2025

Florrie Verity

'Fibred models of crisp type theory and Kripke-Joyal forcing'

Spring/ Summer 2025

02.07.2025	Gabriele Lobbia	'Quantitative Monoidal Algebra'	Abstract
30.05.2025	Nicola Gambino	'A unified treatment of commuting tensor products'	Abstract
23.05.2025	Jiacheng Tang	'Sheaves of Profinite Modules'	Abstract
16.05.2025	Matthew Antrobus	'Hochschild Cohomology, BV operators and twisted tensor products'	Abstract
29.04.2025	Fernando Abellán Garcia	'(∞,2)-toposes II'
28.04.2025	Fernando Abellán Garcia	'(∞,2)-toposes I'
03.04.2025	Ohad Kammar	'The category of quasi-Borel spaces'
28.03.2025	Bruno Lindan	'Ultrafilters, finite coproducts and locally connected classifying toposes.'
14.03.2025	Ngo Hang Chan	'Manes' theorem on the ultrafilter monad.'
07.03.2025	Giacomo Tendas	'Duality for coherent locales'
28.02.2025	Bruno Lindan	'On ultracategories.'
21.02.2025	Calum Hughes	'An algebraic model structure for internal categories.'
14.02.2025	Raffael Stenzel	'Synthetic infinity category theory.'
07.02.2025	Adrian Miranda	'Formal category theory and Cosmoi.'
31.01.2025	Nicola Gambino	'A BV-tensor product for bimodules between symmetric multicategories.'

Autumn/Winter 2024

06.12.2024	Matthew Antrobus	'A walk to Deligne's Conjecture'	Abstract
29.11.2024	Nicola Gambino	'Differential Linear Logic'
22.11.2024	Bruno Lindan	'Limit Doctrines part II'
15.11.2024	Bruno Lindan	'Limit Doctrines'	Abstract
08.11.2024	Calum Hughes	'2-categories with a class of small maps'	Abstract
25.10.2024	Raffael Stenzel	'Descent theory Part II'
18.10.2024	Raffael Stenzel	'Descent theory'	Abstract
11.10.2024	Giacomo Tendas	'Dense Functors'	Abstract
04.10.2024	Adrian Miranda	'Tricategorical Universal Properties Via Enriched Homotopy Theory'	Abstract