Reading group on internal (higher) categories

In Spring term 2026, we are running a reading group on internal (and parametrised) higher categories. The objective is to understand the fundamentals of internal higher categories, following Martini-Wolf, and (TBC) time-permitting to explore the applications of this language to equivariant/global homotopy theory, or parametrised higher semiadditivity. A provisional schedule can be found here.

We will meet on Wednesday 14th January at 16:00 in B3.03, and each subsequent Wednesday at 16:00 in A1.01.

Date	Title	Speaker	Notes
14/01/26	Preliminaries on internal categories	Daniel Marlowe
21/01/26	Straightening-unstraightening and Yoneda
28/01/26	Adjunctions I
04/02/26	Adjunctions II
11/02/26	Colimits I
18/02/26	Colimits II
25/02/26	Decomposition of colimits