在 代数几何 的 Grothendieck 理论中，叠指的是 层 的 范畴。特别地，叠是一个 范畴的预层，其中满足以下下降性质 (Brylinski 1993)：
1. 给定 拓扑空间 
和 
，以及一个 函数 
和两个 层 
和 
在 
上，赋值 
定义了一个 层 在 
上，称为 
；
2. 给定一个 开 子集 
of 
，一个 局部 满射 同胚 
，以及一个 层 
在 
上，连同一个 同构 
的 层 在 
上，对于该同构，上面的左图是交换的，那么存在一个 层 
在 
上（在 同构 的意义下是唯一的），连同一个 同构 
的 层 在 
中，使得上面右侧的 图 的层同构在 
上是 交换的。
这里，
表示到其中一个因子的投影，而 
表示到三个因子中的两个因子的投影。
