IGHER
STRUCTURES
Vol10 Iss1
Vol9 Iss2
Vol9 Iss1
Vol8 Iss2
Vol8 Iss1
Vol7 Iss1
Vol6 Iss1
Vol5 Iss1
Vol4 Iss2
Vol4 Iss1
Vol3 Iss1
Vol2 Iss1
Vol1 Iss1
Volume 4, Issue 1
February 2020
Localization in Homotopy Type Theory
J. Daniel Christensen, Morgan Opie, Egbert Rijke and Luis Scoccola, 1-32
The colimit of an ∞-local system as a twisted tensor product
Manuel Rivera and Mahmoud Zeinalian, 33-56
Quillen-Segal algebras and Stable homotopy theory
Hugo Bacard, 57-114
Infinity category theory from scratch
Emily Riehl and Dominic Verity, 115-167
Fibrations of ∞-categories
David Ayala and John Francis, 168-265
Multi-directed graph complexes and quasi-isomorphisms between them I: oriented graphs
Marko Živković, 266-283
A Quillen's Theorem A for strict ∞-categories II: the ∞-categorical proof
Dimitri Ara and Georges Maltsiniotis, 284-388
Back Matter
Higher Structures