Noncommutative Proj and coherent algebras

Alexander Polishchuk

We prove that an abelian category equipped with an ample sequence of objects is equivalent to the quotient of the category of coherent modules over the corresponding algebra by the…