Let be a quasi-compact, separated scheme. Then a criterion of Serre asserts that is affine if and only if

for all quasi-coherent sheaves on : that is, affine schemes are characterized by the vanishing of the higher cohomology of all quasi-coherent sheaves. The purpose of this post is to explain an interpretation of Serre’s theorem (or rather, the “if” direction) in terms of category theory. Namely, the idea is that if satisfies the cohomological vanishing condition, then the functor

from the category of quasi-coherent sheaves on to the category of modules over , turns out to be a symmetric monoidal equivalence for formal reasons. A version of Tannakian formalism now shows that is itself isomorphic to : that is, the category together with its symmetric monoidal structure recovers .

**Edit: **I was sure this material was well-known folklore, but didn’t have a reference when I posted this. Now I do; see Knutson’s *Algebraic Spaces.*

**Second edit (11/19): **I just realized that the argument below leaves out an important piece: it doesn’t show that the structure sheaf is a generator! I’ll try to fix this soon.