2 papers
math.CT2026
A categorical model structure for generalized algebraic theories
Daniel Almeida
We describe a (combinatorial, monoidal, Cat-enriched) Quillen model structure on the category of Cartmell's generalized algebraic theories (gats); its homotopy bicategory consists…
math.CT2026
A monoidal category of dependently sorted algebraic theories II: categorical aspects
Daniel Almeida
This is the second of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell).…