Group Actions can be seen as functors

up:: Functor

Given a Group Action from a Group onto a set , one can see it as a functor between the associated Single-Element Category and the Set Category . In fact, this allows for a generalization of group actions to any type of category.

This point of view leverages the fact that Groups can be seen as automorphisms in single-element categories, from which one sees each group element as a symmetry transformation.

---

References

• What is a Functor? Definition and Examples, Part 1