从一个方案开始，将其与Grothendieck拓扑关联（创建一个站点）。 从Grothendieck拓扑到阿贝尔群的函子（比如说）具有预切面的所有相关性质（根据Grothend ieck拓扑的定义），因此可以通过切面和取层上同调来获得上同调。
-
1 $\开始组$ 所用的词是相同的，实际上一个是另一个的泛化，但Grothendieck站点上的层与拓扑空间上的层是不同的，因此需要不同的工具来计算上同调。 （例如，没有类似的Godement分辨率。） $\端组$ – 甄琳 评论 2021年6月17日11:32 -
2 $\开始组$ 一个是取站点上滑轮的拓扑，然后考虑其中的阿贝尔群对象，那么可能有一些假设可以确保您有一个具有正确属性的阿贝尔类，然后使用Grothendieck的Tohoku论文？ $\端组$ – 大卫·罗伯茨 ♦ 评论 2021年6月17日12:59 -
4 $\开始组$ 约翰斯通关于拓扑理论的书有一节是关于拓扑上同调的。 不是大象书，而是他的原著。 这本书对非范畴理论家来说并不是很友好，但它比SGA短。 我认为他使用了巴尔覆盖定理，得到了足够的内射，但一旦你有了，你就可以开始了。 书中没有计划 $\端组$ – 本杰明·斯坦伯格 评论 2021年6月17日13:55 -
2 $\开始组$ 格罗森迪克拓扑中阿贝尔群对象的类别是格罗森迪克阿贝尔类别——你可以通过通常的瑜伽获得局部表现力，并且你继承了所需的精确属性，因为剪切是精确的——所以Tóhoku论文确实适用。 如果OP能够指出这是否是所寻求的答案级别，那就太好了。 $\端组$ – 甄琳 评论 2021年6月18日15:10 -
1 $\开始组$ @ZhenLin也许我不明白你的意思，但我认为Grothendieck网站确实有一个Godement解决方案： link.springer.com/article/10.1007/s13348-014-0123-x 和 link.springer.com/article/10.1007/s13348-016-0171-5 $\端组$ – 阿古斯蒂·罗格 评论 2021年6月19日6:31