平展层，若对应的"平展层条件"得到满足。（这里“并集”被平展映射的拉回代替，而“formula_34覆盖formula_35”则被定义为formula_36覆盖formula_15。）对于任何范畴上的，我们都可以类似地定义层的概念。因为一个概形上的阿贝尔层（取值为阿贝尔群的层）的范畴包含足够多的单射对象，我们可以在其上定义左正合函子的右导出函子。对于一个阿贝尔层的范畴formula_38，其是一个将每个层formula_23映射到其全局截面（也就是formula_40）的映射formula_41。给定一