An equivariant map between sets 
and 
with group actions of the
same group 
is a map 
satisfying
 |
for every group element 
and every element 
(Stacks Project Authors 2026). For example, the identity
map of any set with a group
action is equivariant.
