The Stacks project

Lemma 78.10.2. Let $B \to S$ as in Section 78.3. Let $G$ be a group algebraic space over $B$. Let $f : X \to Y$ be a $G$-equivariant morphism between algebraic spaces over $B$ endowed with $G$-actions. Then pullback $f^*$ given by $(\mathcal{F}, \alpha ) \mapsto (f^*\mathcal{F}, (1_ G \times f)^*\alpha )$ defines a functor from the category of quasi-coherent $G$-equivariant sheaves on $Y$ to the category of quasi-coherent $G$-equivariant sheaves on $X$.