3 citations · 4 across the 4 of their papers we have counts for
4 papers
From dependent type theory to higher algebraic structures
Chaitanya Leena Subramaniam
The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We charact…
Small object arguments, plus-construction, and left-exact localizations
Mathieu Anel, Chaitanya Leena Subramaniam
We present a variant of the small object argument, inspired by Kelly, better suited to construct unique factorisation systems. Our main result is to compare it to the plus-construc…
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…
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…