Presheaf

📁 Source: Mathlib/AlgebraicGeometry/Modules/Presheaf.lean

Statistics

Metric	Count
Definitions toRingCatSheafHom, PresheafOfModules, ringCatSheaf	3
Theorems	0
Total	3

AlgebraicGeometry.Scheme

Definitions

Name	Category	Theorems
PresheafOfModules 📖	CompOp	3 math math: Modules.instFaithfulPresheafOfModulesToPresheafOfModules, Modules.instFullPresheafOfModulesToPresheafOfModules, Modules.instIsRightAdjointPresheafOfModulesToPresheafOfModules
ringCatSheaf 📖	CompOp	6 math math: Modules.instFaithfulPresheafOfModulesToPresheafOfModules, AlgebraicGeometry.instIsIsoModulesSpecOfCarrierFromTildeΓUnitOpensCarrierCarrierCommRingCatRingCatSheaf, Modules.instFullPresheafOfModulesToPresheafOfModules, AlgebraicGeometry.instIsQuasicoherentOpensCarrierCarrierCommRingCatSpecTilde, Modules.instIsRightAdjointPresheafOfModulesToPresheafOfModules, AlgebraicGeometry.instIsIsoModulesSpecOfCarrierFromTildeΓFreeOpensCarrierCarrierCommRingCat

AlgebraicGeometry.Scheme.Hom

Definitions

Name	Category	Theorems
toRingCatSheafHom 📖	CompOp	—

---

← Back to Index