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.