Clock systems for stochastic and non-deterministic categorical systems theories
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866914439136018432 |
|---|---|
| author | Lynch, Owen Myers, David Jaz Rischel, Eigil Fjeldgren Staton, Sam |
| author_facet | Lynch, Owen Myers, David Jaz Rischel, Eigil Fjeldgren Staton, Sam |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_29573 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Clock systems for stochastic and non-deterministic categorical systems theories Lynch, Owen Myers, David Jaz Rischel, Eigil Fjeldgren Staton, Sam Category Theory 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. |
| title | Clock systems for stochastic and non-deterministic categorical systems theories |
| topic | Category Theory |
| url | https://arxiv.org/abs/2603.29573 |