IGHER
STRUCTURES
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