show/hide this revision's text 3 fixed italicization

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a *category of $T$-dynamical systems on $X$ which yields useful information about $X$ and $T$?

More precisely, is there a category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = (\phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of $T$-dynamical systems on $X$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two such dynamical systems may be considered equivalent, and what it would take to have functors from $T$-dynamical systems on $X$ to $T'$-dynamical systems on $X'$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.
show/hide this revision's text 2 tried to accomodate tim porter's excellent suggestions!

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a *category of dynamical $T$-dynamical systems on $(X,T)$?X$ which yields useful information about $X$ and $T$?

More precisely, is there a non-trivial category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = (\phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of dynamical $T$-dynamical systems on $(X,T)$?X$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two such dynamical systems on the same $(X,T)$ may be considered equivalent, and what it would take to have functors from dynaical $T$-dynamical systems on $(X,T)$ X$ to those $T'$-dynamical systems on $(X',T')$, X'$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.
show/hide this revision's text 1

Is there a categorical treatment of dynamical systems?

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a category of dynamical systems on $(X,T)$?

More precisely, is there a non-trivial category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = (\phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of dynamical systems on $(X,T)$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two dynamical systems on the same $(X,T)$ may be considered equivalent, and what it would take to have functors from dynaical systems on $(X,T)$ to those on $(X',T')$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.