示层。代数几何与复解析几何里的许多性质与定理都以凝聚层及其上同调表述。凝聚层可被视作向量丛截面层的推广。它们构成的范畴在取核、上核、有限直和等操作下封闭。此外，若底空间满足合宜的紧致条件，则凝聚性在底空间的映射下保持不变，且具有有限维的层上同调群。交换代数里的一些定理也能应用于凝聚层，如中山正引理。
定义.一个凝聚层是赋环空间formula_1上的一个formula_2-模 formula_3，满足下述性质：环层formula_2是凝聚层若且唯若它自身作为一个formul