{"id":"arxiv/2607.28540","url":"https://arxiv.org/abs/2607.28540","tags":["math.CT"],"score":0,"title":"Algebraic coherators, controlled theories, and Grothendieck realizations","domain":"math.CT","source":"arxiv","authors":["Johnathon Taylor"],"reviews":0,"subject":"math.CT","summary":"We introduce a construction of algebraic coherators for Grothendieck $\\infty$-groupoids using the algebraic small object argument, replacing previous approaches we have used based on distributive series of monads with a more direct method for freely adjoining coherence data. Given a controlled theory, we define unreduced and reduced Grothendieck realizations, producing $\\infty$-Lawvere theories and extending this construction functorially to connected diagrams of controlled theories. We apply this framework to construct globular models for monoidal $\\infty$-groupoids, symmetric monoidal…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}