{"id":"arxiv/2608.02529","url":"https://arxiv.org/abs/2608.02529","tags":["math.CT"],"score":0,"title":"Rewriting and presentations of quasicategories","domain":"math.CT","source":"arxiv","authors":["Simon Henry"],"reviews":0,"subject":"math.CT","summary":"We show that the methods of rewriting theory to establish coherence theorems can applied at the level of quasicategories. More precisely, for any category C which admits a presentation by a convergent rewrite system, we show that the corresponding weak (infinity,1)-category admits an Amick-Groves-Squier style presentation whose generators correspond to (some of) the critical branchings of the rewrite system. This follows entirely from reinterpreting K. Brown's simplicial proof of the usual homological Anick-Groves-Squier presentation in terms of the Joyal model structure instead of the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-03","reactions":{}}