Example The theory of discrete dynamical systems [efr-002F]

There is a theory of dynamical systems with category of spaces \mathcal {C} = \mathsf {Set}, category of bundles \mathcal {A}(X) = \mathsf {Set}_{/X} (with pullbacks for reindexing), and tangent bundle TX = X \times X \xrightarrow {\pi _0} X. We call this the theory of discrete dynamical systems. (In the sense that they are both discrete-time and discrete-space).