Lemma 103.17.4. Let f : \mathcal{X} \to \mathcal{Y} be a morphism of locally Noetherian algebraic stacks. Then f^* sends coherent modules on \mathcal{Y} to coherent modules on \mathcal{X}.
Proof. Immediate from the definition and the fact that pullback for any morphism of ringed topoi preserves finitely presented modules, see Modules on Sites, Lemma 18.23.4. \square
Comments (0)