Lectures 0 & 1 - Introduction
Lectures 2 & 3 - Limits & Colimits
Lecture 4 - Alternative Definitions of Limits
Lecture 5 - Adjunctions
Lecture 6 - Yoneda, (un)straightening
Lecture 7 - Stable ∞-categories, spectra
Lecture 10 - Monoids, monoidal categories
Achim Krause & Thomas Nikolaus - ∞-categories and Higher Algebra
Martin Gallauer - ∞-categories: a first course
Bastiaan Cnossen - Introduction to Stable Homotopy Theory
Jack Davies - Stable and Chromatic Homotopy Theory
Yonatan Harpaz - Little Cube Algebras and Factorization Homology
Rune Haugseng - Introduction to ∞-categories
Cisinski, Cnossen, Nguyen, Walde - Formalization of Higher Categories
Jacob Lurie - Higher Topos Theory