Homotopy coherence — past and future
James Stasheff (8/31/22): Homotopy coherence - theme and variations
Homotopy Coherent Nerve and Straightening, Cubically
Strong homotopy bialgebras, homotopy coherent diagrams and derived deformations
Patrick Elliot - Homotopy Coherent Cyclic Operads • CaCS22
E5.F – Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory
Stable Homotopy Seminar, 2: Fiber and Cofiber Sequences
Jacob von Raumer, Coherence via well-foundedness
Introduction to stable homotopy theory - Lecture 3
Vladimir Voevodsky Introduction to homotopy theory I
Homotopy II: Explicit description of the homotopy category of a model category (4/12)
Michael Shulman: "Two-dimensional semantics of homotopy type theory"
Robert Kropholler - A coherent introduction to incoherence (Lecture 1)
Homotopy and Univalence - Thorsten Altenkirch
Stable Homotopy Seminar, 14: The stable infinity-category of spectra
Homotopy II: Definition of model categories and first examples (2/12)
Thomas Nikolaus : Equivariant homotopy theory for infinite groups and THH with coefficients
Introduction to stable homotopy theory - Lecture 8
Miika Tuominen - Completion of Θₙ-spaces
Norihiro Yamada, Game semantics of homotopy type theory
