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