On sheaf cohomology and natural expansions (Q2054954)

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}].