Theorem 106.16.8. Let $\mathcal{X}$ be a Noetherian algebraic stack with affine diagonal. Let $B$ be a Noetherian ring. Let $F : \text{Coh}(\mathcal{O}_\mathcal {X}) \to \text{Mod}^{fg}_ B$ be a right exact tensor functor. Then $F$ comes from a unique morphism $\mathop{\mathrm{Spec}}(B) \to \mathcal{X}$.
Proof. By Lemma 106.16.1 we can extend $F$ uniquely to a right exact tensor functor $F : \mathit{QCoh}(\mathcal{O}_\mathcal {X}) \to \text{Mod}_ B$ commuting with all direct susms. Then we can apply Lemma 106.16.7. $\square$
Comments (0)