| Popis: |
In this article we establish a bridge between dynamical systems, including topological and measurable dynamical systems as well as continuous skew product flows and nonautonomous dynamical systems; and coalgebras in categories having all finite products. We introduce a straightforward unifying definition of abstract dynamical system on finite product categories. Furthermore, we prove that such systems are in a unique correspondence with monadic algebras whose signature functor takes products with the time space. We substantiate that the categories of topological spaces, metrisable and uniformisable spaces have exponential objects w.r.t. locally compact Hausdorff, σ-compact or arbitrary time spaces as exponents, respectively. Exploiting the adjunction between taking products and exponential objects, we demonstrate a one-to-one correspondence between monadic algebras (given by dynamical systems) for the left-adjoint functor and comonadic coalgebras for the other. This, finally, provides a new, alternative perspective on dynamical systems. |
