Topic summary
G-set
Extracted from the Wikipedia article Group action.
Morphisms and isomorphisms between G-sets
If X and Y are two G-sets, a morphism from X to Y is a function f : X → Y such that f(g ⋅ x) = g ⋅ f(x) for all g in G and all x in X. Morphisms of G-sets are also called equivariant maps or G-maps.