The category of (left) -spaces for a given group
consists of sets (left-)acted on by (called a (left-)-space)
with -(left-)equivariant maps as morphisms. group
A (left-)equivariant map is a function satisfying
for any and .
An isomorphism of -spaces is sometimes called an equivalence of actions.