# nLab equivariant

## Idea

An equivariant function is a homomorphism between two G-sets:

$f \;\colon\; X \longrightarrow Y \phantom{AAA} f(g \cdot x) = g \cdot f(x) \phantom{A} \forall g \in G \phantom{A} \forall x \in X$

More generally, an equivariant morphism is a homomorphism of $G$-actions.

Last revised on January 21, 2020 at 16:26:35. See the history of this page for a list of all contributions to it.