{"id":"arxiv/2603.17141","url":"https://arxiv.org/abs/2603.17141","tags":["math.CT"],"score":0,"title":"Separation and Gluing of Explanations on Sites of Dynamical Systems","domain":"math.CT","source":"arxiv","authors":["Paul Z. Wang"],"reviews":0,"subject":"math.CT","summary":"We construct a Grothendieck site whose objects are Mealy machines over definable sets in an o-minimal structure and whose coverings are jointly surjective families of definable open immersions. On this site, we define presheaves of explanations -- systems equipped with an interpretable interface, parameterised by a ``judge.'' We prove that the behavioral presheaf (quotienting by observable output equivalence) is separated: a global explanation is determined by its local restrictions. We show that gluing fails in general -- locally consistent explanations need not assemble globally -- and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-17","reactions":{}}