Extensions of coherent sheaves #
Finite presentation of module sheaves is closed under extensions on an arbitrary ringed site;
the categorical proof lives in
DerivedAlgGeo.Algebra.Category.ModuleCat.Sheaf.Presentation.Extensions. This file applies
that result to the coherent object property on a scheme.
Main result #
Coherent module sheaves are closed under extensions.