丰群胚同调与étale对应

我们证明了丰群胚（ample groupoid）之间的étale对应诱导同调群的同态。作为补充，我们探讨了丰群胚的模块范畴。我们为子群胚构造了归纳-限制伴随（induction-restriction adjunction），由此产生构建任意群胚模分解的过程。这些分解可用于处理群胚同调的Tor图像，从而能够显式描述由étale对应诱导的同调中的映射。