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 1, Issue 1
December 2017
Editorial
The Chief-Editors
A simplicial model for infinity properads
Philip Hackney, Marcy Robertson and Donald Yau, 1-21
A formal language for cyclic operads
Pierre-Louis Curien and Jovana Obradović, 22-55
How to discretize the differential forms on the interval
Ruggero Bandiera and Florian Schätz, 56-86
Poisson reduction as a coisotropic intersection
Pavel Safronov, 87-121
Platonic and alternating 2-groups
Narthana Epa and Nora Ganter, 122-146
A type theory for synthetic ∞-categories
Emily Riehl and Michael Shulman, 147-224
Invited Contribution
Categories in categories, and size matters
Ross Street, 225-270
Back Matter
Higher Structures