Galois differential algebras and categorical discretization of dynamical systems