Volume 4, Issue 1
February 2020
Localization in Homotopy Type TheoryJ. Daniel Christensen, Morgan Opie, Egbert Rijke and Luis Scoccola, 1-32
The colimit of an ∞-local system as a twisted tensor productManuel Rivera and Mahmoud Zeinalian, 33-56
Infinity category theory from scratchEmily Riehl and Dominic Verity, 115-167
Fibrations of ∞-categoriesDavid Ayala and John Francis, 168-265
Back MatterHigher Structures