On sheaf cohomology and natural expansions (Q2054954)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7438669
Language Label Description Also known as
default for all languages
No label defined
    English
    On sheaf cohomology and natural expansions
    scientific article; zbMATH DE number 7438669

      Statements

      On sheaf cohomology and natural expansions (English)
      0 references
      0 references
      0 references
      3 December 2021
      0 references
      This paper is a survey of Čech and sheaf cohomologies, presenting expansions for Grothendieck toposes with examples of applications in other cohomology theories and other areas of mathematics. The last section (\S 5) discusses establishing a cohomology theory for elementary toposes, citing the works in [\textit{J. Wildeshaus}, J. Pure Appl. Algebra 150, No. 2, 207--213 (2000; Zbl 0966.18008); \textit{A. Joyal} and \textit{M. Tierney}, An extension of the Galois theory of Grothendieck. Providence, RI: American Mathematical Society (AMS) (1984; Zbl 0541.18002); \textit{S. Posur}, Constructive category theory and applications to equivariant sheaves. Siegen: Universität Siegen (PhD Thesis) (2017), \url{https://d-nb.info/113738087X/34}; \textit{M. Shulman}, ``Linear logic for constructive mathematics'', Preprint, \url{arXiv:1805.07518}].
      0 references
      sheaf and Čech cohomologies
      0 references
      Grothendieck topos
      0 references
      topos cohomology
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references