Volume 6, Issue 1
July 2022
Type theoretical approaches to opetopesPierre-Louis Curien, Cédric Ho Thanh and Samuel Mimram, 80-181
Controlled objects as a symmetric monoidal functorUlrich Bunke and Luigi Caputi, 182-211
Opetopic algebras I: Algebraic structures on opetopic setsCédric Ho Thanh and Chaitanya Leena Subramaniam, 311-358
Fundamental pushouts of n-complicial setsViktoriya Ozornova and Martina Rovelli, 403-438
Back MatterHigher Structures