Categories of modules

Extensions of Mathlib's ModuleCat, including canonical localization, and of PresheafOfModules and SheafOfModules on an arbitrary ringed site. Scheme-indexed module sheaves, quasicoherent and coherent sheaves, and everything else whose signature mentions a scheme lives under AlgebraicGeometry/Modules/.