Commit 2026-05-11 16:00 af63431a
View on Github →feat(SheafCohomology): add API for Sheaf Cohomology (#34742)
Defines H.equiv₀, the additive equivalence between H F 0 and F.obj.obj (op T) when the category has a terminal object T.
feat(SheafCohomology): add API for Sheaf Cohomology (#34742)
Defines H.equiv₀, the additive equivalence between H F 0 and F.obj.obj (op T) when the category has a terminal object T.