An Abstract Category of Dynamical Systems

A notion of time is fundamental in the study of dynamical systems. Time arises as a standalone dynamical system and also in solutions or trajectories as a special kind of map between systems. We characterize time by a universal property and use universality to motivate an abstract definition for categories of dynamical systems. We propose this definition as guidance in concrete instantiations for other kinds of systems.