Group actions! Treat $G$ as a category $\mathcal{G}$. Then a $G$-action is a functor $\mathcal{G}\to \mathcal{C}$. Its colimit is the orbit space and its limit is the fixed points.
Jeff Strom
- 12.5k
- 3
- 48
- 76