Categorical foundations of discrete dynamical systems

We develop categorical foundations of discrete dynamical systems, aimed at understanding how the structure of the system affects its dynamics. The key technical innovation is the notion of a cycle set, which provides a formal language in which to speak of the system’s attractors. As a proof of concept, we provide a decomposition theorem for discrete dynamical systems.