代數幾何疊

在 代數幾何 的 Grothendieck 理論中，疊指的是 層 的 範疇。特別地，疊是一個 範疇的預層，其中滿足以下下降性質 (Brylinski 1993)：

1. 給定 拓撲空間 和 ，以及一個 函式 和兩個 層 和 在 上，賦值 定義了一個 層 在 上，稱為 ；

2. 給定一個 開 子集 of ，一個 區域性 滿射 同胚 ，以及一個 層 在 上，連同一個 同構 的 層 在 上，對於該同構，上面的左圖是交換的，那麼存在一個 層 在 上（在 同構 的意義下是唯一的），連同一個 同構 的 層 在 中，使得上面右側的 圖 的層同構在 上是 交換的。

這裡， 表示到其中一個因子的投影，而 表示到三個因子中的兩個因子的投影。