Showing math.CTShow all
2 papers · 1 filter
math.CT2026
Separation and Gluing of Explanations on Sites of Dynamical Systems
Paul Z. Wang
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 ope…
math.CT2025
Nondeterministic Behaviours in Double Categorical Systems Theory
Paul Zhongpeng Wang
In this paper, we build double theories capturing the idea of nondeterministic behaviors and trajectories. Following Libkind and Myers' Double Operadic Theory of Systems, we constr…