2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/65979We 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 subcategory of finite-dimensional modules. In the Noetherian case a similar result was proved by Artin and Zhang.AMSLatex, 11 pages; Proposition 2.6 is strengthenedRings and AlgebrasAlgebraic GeometryNoncommutative Proj and coherent algebrastext