Volume 1, Issue 1
December 2017
EditorialThe Chief-Editors
A simplicial model for infinity properadsPhilip Hackney, Marcy Robertson and Donald Yau, 1-21
A formal language for cyclic operadsPierre-Louis Curien and Jovana Obradović, 22-55
How to discretize the differential forms on the intervalRuggero Bandiera and Florian Schätz, 56-86
Platonic and alternating 2-groupsNarthana Epa and Nora Ganter, 122-146
A type theory for synthetic ∞-categoriesEmily Riehl and Michael Shulman, 147-224
Invited Contribution
Back MatterHigher Structures