n階のグロタンディーク同値対応

次の4つは同じこと。

1. x は、n重〈n-fold〉の繰り返しインデックス付き圏の対象である。
2. x は、n重〈n-fold〉の繰り返しファイブレーション・スライス圏の対象である。
3. x は、長さnのファイブレーション・パス〈グロタンディーク・テレスコープ〉である。
4. x は、ファイブレーションのn次元単体である。

退化したバージョンは：

1. x は、n重〈n-fold〉の繰り返しファミリー圏の対象である。
2. x は、n重〈n-fold〉の繰り返しスライス圏の対象である。
3. x は、長さnの写像パス〈n重の集合バンドル〉である。
4. x は、写像のn次元単体である。