Double categories of open dynamical systems (extended abstract)

zbMATH Open1477.18047arXiv2005.05956MaRDI QIDQ5019672FDOQ5019672

Authors: David Jaz Myers 

Publication date: 10 January 2022

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.

Full work available at URL: https://arxiv.org/abs/2005.05956

Recommendations

• Structured versus decorated cospans
• Networks of open systems
• Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
• A compositional framework for reaction networks
• Open Petri nets

Mathematics Subject Classification ID

Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Low-dimensional dynamical systems (37E99) 2-categories, bicategories, double categories (18N10)

Cites Work

• The Behavioral Approach to Open and Interconnected Systems
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• Dynamical systems and sheaves
• Temporal type theory. A topos-theoretic approach to systems and behavior

Cited In (12)

• Diegetic Representation of Feedback in Open Games
• Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets
• Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing
• A categorical approach to open and interconnected dynamical systems
• Networks of open systems
• Situated transition systems
• Operadic modeling of dynamical systems: mathematics and computation
• Title not available (Why is that?)
• Value Iteration is Optic Composition
• Interacting open dynamics
• Dynamical systems and sheaves
• Cyber kittens, or some first steps towards categorical cybernetics

This page was built for publication: Double categories of open dynamical systems (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019672)