4. 平展拓扑上的层

我们一般考虑小平展景 $X_{\acute{\mathrm{e}}\mathrm{t}}$. 记 $\mathrm{Sh}(X_{\acute{\mathrm{e}}\mathrm{t}})$ 是集合取值的平展层范畴, 而 $\mathrm{Ab}(X_{\acute{\mathrm{e}}\mathrm{t}})$ 是 Abel 群取值的平展层. 类似的预层范畴也为 $\mathrm{PreSh}(X_{\acute{\mathrm{e}}\mathrm{t}})$ 和 $\mathrm{PreAb}(X_{\acute{\mathrm{e}}\mathrm{t}})$.