畴的函子。对任一 formula_5-模 formula_6，同样可考虑相应的 formula_7-模 formula_8，这也给出相应的函子。可以证明 formula_9 是一个正合、忠实且保守的函子。论证中用到的关键性质是：formula_5 是平坦的 formula_7-模。
拓扑性质比较.设 formula_12 为一局部可构子集（即：局部闭集的有限併集），以下 formula_13 的性质在 formula_2 中成立，若且唯若在 formula_3 中成立：当