Separation and Gluing of Explanations on Sites of Dynamical Systems
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.17141
curl -X POST /api/v1/records/arxiv/2603.17141/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.17141/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'