On sheaf cohomology and natural expansions
Abstract
In this survey paper, we present Čech and sheaf cohomologies -- themes that were presented by Koszul in University of São Paulo during his visit in the late 1950s -- we present expansions for categories of generalized sheaves (i.e, Grothendieck toposes), with examples of applications in other cohomology theories and other areas of mathematics, besides providing motivations and historical notes. We conclude explaining the difficulties in establishing a cohomology theory for elementary toposes, presenting alternative approaches by considering constructions over quantales, that provide structures similar to sheaves, and indicating researches related to logic: constructive (intuitionistic and linear) logic for toposes, sheaves over quantales, and homological algebra.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2020
- DOI:
- 10.48550/arXiv.2008.10677
- arXiv:
- arXiv:2008.10677
- Bibcode:
- 2020arXiv200810677L
- Keywords:
-
- Mathematics - Category Theory;
- 2020: 18F10 and 55N30 and 18B25
- E-Print:
- We corrected typos, improved the writing style, and provided additional comments. S\~ao Paulo J. Math. Sci. (2021)