3 papers
math.CT2020
Opetopic algebras III: Presheaf models of homotopy-coherent opetopic algebras
Cédric Ho Thanh, Chaitanya Leena Subramaniam
For the category of free opetopic algebras, we construct a model structure \emph{à la Cisinski} on the category of presheaves over , and show that is is equivalent to opetop…
math.CT2019
Opetopic algebras I: Algebraic structures on opetopic sets
Cédric Ho Thanh, Chaitanya Leena Subramaniam
We define a family of structures called "opetopic algebras", which are algebraic structures with an underlying opetopic set. Examples of such are categories, planar operads, and Lo…
math.CT2019
Syntactic approaches to opetopes
Pierre-Louis Curien, Cédric Ho Thanh, Samuel Mimram
Opetopes are algebraic descriptions of shapes corresponding to compositions in higher dimensions. As such, they offer an approach to higher-dimensional algebraic structures, and in…