Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Question: does this current definition of dynamical system generalise to dynamical systems over higher geometric structures such as smooth infinity-stacks, which are not sets in a cohesive type theory context?
Currently, the page (which is a little thin) states nothing but a smooth -group action. One would also want to refer to -actions as dynamical systems, at times. Generally, one can of fix any group object encoding the desired type of (space-)time evolution and then regard -action objects as dynamical systems in the given ambient category.
At this point this is really just “transformation group theory” with an interpretation of “dynamics” tacked onto it, dictated by the intended application.
Now, group actions, of course, generalize far and wide, in particular to infinity-actions of -group stacks on -stacks of any sort. Yes.
added this pointer:
I have reworded the Idea section (it used to claim, since revision 1, that dynamical systems are all given by an action of . I made that but one example of general actions by a monoid).
Added pointer to:
1 to 6 of 6