叠 (数学) 叠Stack或层sheaf是在范畴而非集合上取值的层叠用于形式化下降理论的一些主要构造以及在不存在精细模空间时构造精细模叠 下降理论关注的是同构相容几何对象如拓扑空间上的向量丛可在拓扑基的限制之下粘合在一起的情形的推广在更一般的情景中限制推广为拉回纤维范畴是讨论这种粘合的可能性的良好框架叠的直观含义是所有粘合都有效的纤维范畴要说明粘合就要定义能考虑粘合的覆盖事实证明描述覆盖的通用语言就是格罗滕迪克拓扑因此形式化地说叠是另一个基范畴上的纤维范畴前者具备格罗滕迪克拓扑后者满足的公理确保一部分粘合对格罗滕迪克拓扑的存在性与唯一性