Dynamical Systems and Sheaves
- 10 Downloads
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as ‘machines’ with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special cases include continuous and discrete dynamical systems (e.g. Moore machines). Additionally, morphisms between the different types of systems allow their translation in a common framework. A central goal is to understand the systems that result from arbitrary interconnection of component subsystems, possibly of different types, as well as establish conditions that ensure totality and determinism compositionally. The fundamental categorical tools used here include lax monoidal functors, which provide a language of compositionality, as well as sheaf theory, which flexibly captures the crucial notion of time.
KeywordsDynamical systems Topos theory Sheaf theory Monoidal categories Operads
Unable to display preview. Download preview PDF.
We greatly appreciate our collaboration with Alberto Speranzon and Srivatsan Varadarajan, who have helped us to understand how the ideas presented here can be applied in practice (specifically for modeling the National Airspace System) and who provided motivating examples with which to test and often augment the theory. We also thank the anonymous reviewers for valuable suggestions; in particular, such a suggestion led to a more abstract formalism of system algebras, explained in Section 2.4.
- 1.Abramsky, S., Blute, R., Panangaden, P.: Nuclear and trace ideals in tensored \(\ast \)-categories. J. Pure Appl. Algebra, 143(1–3), 3–47 (1999) (special volume on the occasion of the 60th birthday of Professor Michael Barr (Montreal, QC, 1997))Google Scholar
- 2.Adámek, J., Borceux, F., Lack, S., Rosický, J.: A classification of accessible categories. J. Pure Appl. Algebra 175(1–3), 7–30 (2002) (special volume celebrating the 70th birthday of Professor Max Kelly)Google Scholar
- 9.De Paiva, V.C.V.: The Dialectica Categories. Ph.D. thesis, University of Cambridge, UK (1990)Google Scholar
- 10.Fiore, M.P.: Fibred models of processes: discrete, continuous, and hybrid systems. In: Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, TCS ’00, pp. 457–473. Springer, Berlin (2000)Google Scholar
- 11.Fong, B., Spivak, D.: Hypergraph Categories. arXiv:1806.08304 [math.CT] (2018)
- 12.Fong, B.: The Algebra of Open and Interconnected Systems. Ph.D. thesis, University of Oxford (2016)Google Scholar
- 15.Jacobs, B.: Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics, vol. 141. North-Holland Publishing Co., Amsterdam (1999)Google Scholar
- 23.Lambek, J.: Deductive systems and categories. II. Standard constructions and closed categories. In: Category Theory, Homology Theory and their Applications, I (Battelle Institute Conference, Seattle, Wash., 1968, Vol. 1), pp. 76–122. Springer, Berlin (1969)Google Scholar
- 24.Lawvere, F.W.: State categories and response functors. Unpublished manuscript (1986)Google Scholar
- 26.Leinster, T.: Nerves of algebras. Talk at CT04, Vancouver (2004)Google Scholar
- 30.Moeller, J., Vasilakopoulou, C.: Monoidal grothendieck construction. arXiv:1809.00727 (2018)
- 31.Rupel, D., Spivak, D.I.: The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes CoRR. arxiv:1307.6894 (2013)
- 32.Schultz, P., Spivak, D.I.: Temporal type theory: a topos-theoretic approach to systems and behavior. In: Progress in computer science and applied logic, vol. 29, p. 235. Birkhäuser Basel (2019). https://doi.org/10.1007/978-3-030-00704-1 (2017)
- 33.Selinger, P.: First-order axioms for asynchrony. In: International Conference on Concurrency Theory, pp. 376–390. Springer (1997)Google Scholar
- 35.Spivak, D.I.: The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits. CoRR, arXiv:1305.0297 (2013)
- 36.Spivak, D.I.: The steady states of coupled dynamical systems compose according to matrix arithmetic. arXiv preprint: arXiv:1512.00802 (2015)
- 38.Sztipanovits, J., Ying, S.: Strategic r&d opportunities for 21st century cyber-physical systems. Technical report, National Institute of Standards and Technology (2013)Google Scholar