Basic

📁 Source: Mathlib/CategoryTheory/Sites/SheafCohomology/Basic.lean

Statistics

Metric	Count
Definitions H, H', cohomologyPresheaf, cohomologyPresheafFunctor, instAddCommGroupH	5
Theorems	0
Total	5

CategoryTheory.Sheaf

Definitions

Name	Category	Theorems
H 📖	CompOp	—
H' 📖	CompOp	10 math math: CategoryTheory.GrothendieckTopology.MayerVietorisSquare.biprodAddEquiv_symm_biprodIsoProd_hom_toBiprod_apply, CategoryTheory.GrothendieckTopology.MayerVietorisSquare.fromBiprod_δ_assoc, CategoryTheory.GrothendieckTopology.MayerVietorisSquare.mk₀_f_comp_biprodAddEquiv_symm_biprodIsoProd_hom, CategoryTheory.GrothendieckTopology.MayerVietorisSquare.δ_toBiprod_assoc, CategoryTheory.GrothendieckTopology.MayerVietorisSquare.δ_toBiprod, CategoryTheory.GrothendieckTopology.MayerVietorisSquare.fromBiprod_biprodIsoProd_inv_apply, CategoryTheory.GrothendieckTopology.MayerVietorisSquare.toBiprod_fromBiprod_assoc, CategoryTheory.GrothendieckTopology.MayerVietorisSquare.toBiprod_fromBiprod, CategoryTheory.GrothendieckTopology.MayerVietorisSquare.fromBiprod_δ, CategoryTheory.GrothendieckTopology.MayerVietorisSquare.toBiprod_apply
cohomologyPresheaf 📖	CompOp	2 math math: CategoryTheory.GrothendieckTopology.MayerVietorisSquare.fromBiprod_biprodIsoProd_inv_apply, CategoryTheory.GrothendieckTopology.MayerVietorisSquare.toBiprod_apply
cohomologyPresheafFunctor 📖	CompOp	—
instAddCommGroupH 📖	CompOp	—

---

← Back to Index