Documentation

DerivedAlgGeo.AlgebraicGeometry.Modules.Quasicoherent

Quasi-coherent module sheaves #

Closure properties of quasi-coherence in the ambient category of all module sheaves, proved affine-locally and transported along an affine open cover.