Year: 2026
Type: preprint
Abstract: One of the characteristic features of categorical systems theory is that the behavior of systems can be characterized by certain morphisms into them. In other words, behaviors form a representable covariant functor to Set. And more generally, in the compositional setting, behaviors form a representable double functor to Span. Clock systems are convenient because behavior functors represented by clock systems are automatically well-behaved. It was previously not known whether stochastic and non-deterministic systems theories have clock systems. In this paper, we show that indeed they do have clock systems. Moreover, the clock systems for non-deterministic systems point to generalized notions of behavior for non-linear time.
Source: arXiv (Cornell University)
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7147359763
Cites:
Cited by:
Related to: