coherent sheaf
Let be a ring with unity, and be its prime spectrum. Given an -module , one can define a presheaf on by defining its sections
on an open set to be . We call the sheafification
of this , and a sheaf of this form on is called quasi-coherent. If is a finitely generated module, then is called coherent. A sheaf on an arbitrary scheme is called (quasi-)coherent if it is (quasi-)coherent on each open affine subset of .