{"id":"arxiv/2608.27667","url":"https://arxiv.org/abs/2608.27667","tags":["math.CT","math.LO"],"score":0,"title":"A categorical model structure for generalized algebraic theories","domain":"math.CT","source":"arxiv","authors":["Daniel Almeida"],"reviews":0,"subject":"math.CT","summary":"We describe a (combinatorial, monoidal, Cat-enriched) Quillen model structure on the category of Cartmell's generalized algebraic theories (gats); its homotopy bicategory consists essentially of Taylor's rooted display map categories. This allows us to compare two kinds of morphisms of gats: one where sort dependency and substitution are preserved strictly, thus directly matching the syntax, and one where the given structure is preserved up to isomorphism. We prove a strictification result for morphisms out of cofibrant theories, which are the retracts of theories without sort equality…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-27","reactions":{}}