Abstract:A (closed) dynamical system is a notion of how things can be, together with a notion of how they may change given how they are. The idea and mathematics of closed dynamical systems has proven incredibly useful in those sciences that can isolate their object of study from its environment. But many changing situations in the world cannot be meaningfully isolated from their environment - a cell will die if it is removed from everything beyond its walls. To study systems that interact with their environment, and to design such systems in a modular way, we need a robust theory of open dynamical systems. In this extended abstract, we put forward a general definition of open dynamical system. We define two general sorts of morphisms between these systems: covariant morphisms which include trajectories, steady states, and periodic orbits; and contravariant morphisms which allow for plugging variables of some systems into parameters of other systems. We define an indexed double category of open dynamical systems indexed by their interface and use a double Grothendieck construction to construct a double category of open dynamical systems. In our main theorem, we construct covariantly representable indexed double functors from the indexed double category of dynamical systems to an indexed double category of spans. This shows that all covariantly representable structures of dynamical systems - including trajectories, steady states, and periodic orbits - compose according to the laws of matrix arithmetic.

An Abstract Category of Dynamical Systems

Double Categories of Open Dynamical Systems (Extended Abstract)

The Categorical Basis of Dynamical Entropy

Towards a Unified Theory of Time-Varying Data

Universality of Dynamical Symmetries in Chaotic Maps

Completeness of Lyapunov Abstraction

Dynamical Systems: Discrete, Continuous and Hybrid

Computational Dynamical Systems

Relational Composition of Physical Systems: A Categorical Approach

A Minimal Realization Technique for the Dynamical Structure Function of a Class of LTI Systems.

An abelian ambient category for behaviors in algebraic systems theory

Universality of causal graph dynamics

Abstract Dynamical Systems: Remarks on Symmetries and Reduction

Dynamical properties in the axiomatic theory of ordinary differential equations

A Categorical Treatment of Open Linear Systems

Dynamics measured in a non-Archimedean field

Double Categories in Mathematical Physics

Chaotic almost minimal actions

Dynamical systems defined on simplicial complexes: symmetries, conjugacies, and invariant subspaces

Basic Category Theory