1 Basic Properties Definition 1. Let X be a scheme. We denote the category of sheaves of OX -modules by OXMod or Mod(X). The full subcategories of qausi-coherent and coherent modules are denoted by Qco(X) and Coh(X) respectively. Mod(X) is a grothendieck abelian category, and it follows from (AC,Lemma 39) and (H, II 5.7) that Qco(X) is an abelian subcategory of Mod(X). If X is noetherian, then ...