Vol8 Iss2
Vol8 Iss1
Vol7 Iss1
Vol6 Iss1
Vol5 Iss1
Vol4 Iss2
Vol4 Iss1
Vol3 Iss1
Vol2 Iss1
Vol1 Iss1
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
Poisson reduction as a coisotropic intersectionPavel Safronov, 87-121
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
Categories in categories, and size mattersRoss Street, 225-270
Back MatterHigher Structures