Documentation

DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent

Imports

Init
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Abelian
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Affine
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.AffineChart
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Basic
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Descent
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Linear
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Noetherian
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Pullback
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Pushforward
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.StructureSheaf
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.SubobjectLocality

Imported by

Coherent sheaves #

Definitions, descent, affine comparison and abelian-category structure for coherent sheaves.