ormula_47便是formula_48。更一般地，若formula_9是一个从formula_10到formula_51的概形态射，则有formula_52函子从X的平展层映射到Y的平展层，而其右导出函子则被写为formula_53。若Y是一个代数闭域的谱（也就是一个点），则formula_54与formula_43相同。令X为诺特概形。若一个X的阿贝尔平展层被X的一个平展覆盖所表示，我们则称其为有限局部常值的。若X可被有限个子概形覆盖，且F在每个子概形上都是有限局部常值的，则称F为的。若对于任