サイトの各空間（対象）に、n-集合を割り当てるのがn-前層 F。n-前層Fがあるとき、降下データのシステムはn-圏になる。n-前層Fの値 F(U) から、降下データのシステム D(F, U) への分解〈disassembly〉 disF:F(U)→D(F, U) が、n-圏のn-同値であるとき、n-前層…