ロケット発射式プロファイル計算

For γ in 3-Th, C in 2-Cat.

For β in 2-Th, B in 2-Modγ(β, C).

For α in 1-Th.

  1-Modβ(α, B) in 2-Modγ(β, C)

一般的には、

For γ in n-Th, C in (n-1)-Cat.

For β in (n-1)-Th, B in (n-1)-Modγ(β, C).

For α in (n-2)-Th.

  (n-2)-Modβ(α, B) in (n-1)-Modγ(β, C)

上に伸ばせば、

For δ in 4-Th, D in 3-Cat.

For γ in 3-Th, C in 3-Modδ(γ, D).

For β in 2-Th, B in 2-Modγ(β, C).

For α in 1-Th.

  1-Modβ(α, B) in 2-Modγ(β, C)

一番上をデフォルト設定にすると、

For 2-cat in 4-Th, 2-Cat in 3-Cat.

For γ in 3-Th, C in 3-Mod2-cat(γ, 2-Cat).

For β in 2-Th, B in 2-Modγ(β, C).

For α in 1-Th.

  1-Modβ(α, B) in 2-Modγ(β, C)

モデルの定義は：

• 1-Mod^β(α, B) := [α^*β, B]_β
• 2-Mod^γ(β, C) := [β^*γ, C]_γ

(-)^*(-) は一般化クリーネスターで、指標に対して自由生成する操作。[-, -]は高次圏の指数。