This is a 13-lecture course, with each lecture being about 60-90 minutes or so, given in person by Achim Krause and Thomas Nikolaus. It gives an introduction to higher category theory, ∞-categories, spectra, and so on.
- Achim Krause: ∞-categories
- Thomas Nikolaus: Limits
- Thomas Nikolaus: Colimits
- Achim Krause: Derived categories as ∞-categories
- Achim Krause: Slices and filtered colimits
- Thomas Nikolaus: Derived functors
- Thomas Nikolaus: Non-abelian derived functors
- Achim Krause: Spectra
- Thomas Nikolaus: Symmetric monoidal ∞-categories
- Thomas Nikolaus: En-algebras
- Thomas Nikolaus: p-adic completion
- Thomas Nikolaus: The Tate construction
- Achim Krause: The Tate diagonal
These videos were produced by the University of Münster, in particular the homotopy theory group there.

