(This question was originally directed to Simone Virili, referring to the answer https://mathoverflow.net/a/103840/2926, but could also be addressed to the greater community.)
I was wondering if you have any references for the definition you gave in this post: Is there a categorical treatment of dynamical systems?
I'm looking for a standard categorical treatment of discrete dynamical systems. I know you can give an abstract definition in terms of actions and groupoids but I like yours because it somehow preserves the 'feeling' of a DDS and I need that.
Thanks.