Lemma 39.14.3. Let $S$ be a scheme. Consider a morphism $f : (U, R, s, t, c) \to (U', R', s', t', c')$ of groupoid schemes over $S$. Then pullback $f^*$ given by

$(\mathcal{F}, \alpha ) \mapsto (f^*\mathcal{F}, f^*\alpha )$

defines a functor from the category of quasi-coherent sheaves on $(U', R', s', t', c')$ to the category of quasi-coherent sheaves on $(U, R, s, t, c)$.

Proof. Omitted. $\square$

There are also:

• 2 comment(s) on Section 39.14: Quasi-coherent sheaves on groupoids

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).