论文标题
关于捆捆的共同体和自然扩展
On sheaf cohomology and natural expansions
论文作者
论文摘要
在这篇调查论文中，我们介绍了Čech和捆式的协同学 - 由Koszul在1950年代后期的访问期间由Koszul提出的主题 - 我们介绍了广义吊带类别类别的扩展（即Grothendieck Porsoses）（即Grothendieck Porposes）（即Grothendieck Porposes），并提供了数学和其他数学学院的其他综合学和其他领域的应用程序，并提供了数学和历史学上的动机和历史上的动力。我们得出结论，解释了建立基本折叠的共同体学理论的困难，通过考虑构造的构造，提供与系束相似的结构，并指示与逻辑相似的结构，并指示与逻辑相关的研究：构造性（直觉和线性）逻辑的逻辑：possoses for Pososes for Pososes，possoss of toss of tosials and Synological Algebra。
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.
