Cofree dynamical systems and chaos

This blog post largely retraces ideas from Lawvere: Functorial remarks on the general concept of chaos. I saw this in this tweet from Jade Master, which this blog post is basically an extended version of. Hat tip to her.

Let’s try to apply category theory to the study of “dynamical systems”. What is a dynamical system? There are a lot of different versions:

Today, we’ll take the following general view:

Let \(\mathcal{C}\) be a symmetric monoidal category, and let \((T,+,0)\) be a commutative monoid in \(\mathcal{C}\)1. Then a \(T\)-dynamical system is simply an object \(S\) of \(\mathcal{C}\) equipped with an action of \(T\), \(T \otimes S \to S\).

We think of the elements of \(T\) as “time-shifts”, and the composition adds these together. Using this, we can recover a wide variety of different types of dynamical systems:

Let \(Dyn(T)\) denote the category of \(T\)-dynamical systems - their maps are simply \(T\)-equivariant maps. There is an obvious forgetful functor \(Dyn(T) \to \mathcal{C}\).

Suppose \(\mathcal{C}\) is a closed monoidal category. Then the above functor has a right adjoint, which sends \(M\) to \([T,M]\). \(T\) acts on \([T,M]\) simply by “translation”, i.e \((t.f)(t') = f(t+t')\) To be more formal, the map \(T\otimes [T,M] \to [T,M]\) is adjoint to the map \(T \otimes [T,M] \otimes T \to M\) given by multiplying the 2 \(T\)s, then evaluating the hom.

Proof: We claim that \(Hom_{Dyn(T)}([M,[T,M']) \cong Hom_\mathcal{C}(M,M')\).

Suppose we have a \(T\)-equivariant map \(\phi: M \to [T,M']\). \(T\)-equivariance, of course, means that the diagram


The bare map \(M \to [T,M']\) corresponds to a map \(M \otimes T \to M'\). The above commutative square means that this square commutes:

The bottom way around is “let \(T\) act on \(M\), then use the map”. The other one is “multiply the \(T\)s together, then use the map”.

Now let’s insert the unit into the right-hand \(T\):

Both these squares commute. And the top arrow is just the identity. In other words the classifying map \(T \otimes M \to M'\) must equal the other composite, which is “act, and evaluate at \(0\)”. Equationally, if \(f: M \to [T,M']\), this means \(f(m)(t) = f(t.m)(0)\). This means the map \(f:M \to [T,M']\) is uniquely determined by the map \(M \to M'\) given by evaluation at \(0\). On the other hand, it’s not hard to see that any map \(M \to M'\) can be extended to an equivariant map by this method. This concludes the proof.

Now, what can we do with these “cofree dynamical systems”3? Here is a cool thing: We can give a categorical definition of chaos.

Let \(M\) be a \(T\)-dynamical system. Let \(o:M \to X\) be a map in \(\mathcal{C}\) on the underlying space of \(M\). We can think of \(o\) as an “observable”: some property of the state which we can measure. There is a corresponding map of systems \(M \to [T,X]\) which takes each point in \(M\) to its trajectory of observations We say \(M\) is chaotic with respect to \(o\) if map \(M \to [T,X]\) is an epimorphism.

If we think of an epimorphism as a “surjection”, this means every possible sequence of observations is possible. In other words, our current observations don’t exclude any possible pattern of future observations.

  1. It is not really important that these are symmetric and commutative, but I can’t be bothered to keep track of the order, and I don’t have any natural non-commutative examples ↩︎

  2. It may have been more natural to consider finite-state Markov processes, but of course \(\mathbb{N}_0\) isn’t finite, so that wouldn’t quite have worked ↩︎

  3. Incidentally, there is also a further left adjoint, the “free dynamical system”, given by \(M \mapsto T \otimes M\) ↩︎