Grothendieck has defined the notion of a computable sheaf [Bull. Soc. Math. Fr. 84, 1-7, (1956; Zbl 0071.174)]. Here, the author proves that the cohomology of those sheaves of abelian groups and commutative rings over paracompact topological spaces can be computed as the cohomology of cochain complexes defined by a finite sequence of coverings.
Recommendations
Cited in
(4)
This page was built for publication: Cohomology of computable sheaves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2366397)