equivariant map

Definition

Given group actions of $G$ on $X$ and $G$ acting on $Y$, and equivariant map $f:X\to Y$ is a map with the property

$f(g\cdot x)=g\cdot f(x)\forall g\in G,x\in X.$

Relations to topics

Note that an equivariant map defines a morphism between two G-sets.

todo Add stuff about representations here later…