Associahedron James Dillon Stasheff
Associahedron（アソシアへドロン 結合多面体）、定式化したのは James Dillon Stasheff（ジェームズ・スタシェフ）です。
- 1. 登場時期: 1963年の論文 “H-spaces from a homotopy point of view” で発表されました。
- 2. 通称: そのため、この多面体は数学界では 「Stasheff Polytope（スタシェフ多面体）」 と呼ばれるのが一般的です。
- 3. 目的: 当時は「ループ空間（Loop space）」のホモトピー的な性質、特に「積の結合法則がどこまでホモトピー的に一貫しているか」を記述するために導入されました。
2. Jacob Lurie の役割（なぜ Lurie のイメージが強いのか）
彼が書いた数千ページの著作（HTT や HA）において、Associahedron が当然の前提として全編にわたって使われています。
- ∞-Operationalize: Stasheff がトポロジーの道具として作った Associahedron を、∞-category（高次圏）の「演算ルール」そのものとして再定義しました。
- Operad（オペラド）の一般化: 結合法則を司る Associahedron を “Associative Operad” ss) として定式化し、それを ∞-category の枠組みで自由に扱えるようにしました。
- 代数と幾何の一致: 以前は「トポロジーの話題」だった Associahedron を、「代数（Algebra）」と「幾何（Topos）」を繋ぐ一貫性の基盤として完成させました。
3. 誰が何を作ったかの整理
| 概念 | 提唱者 / 貢献者 | 役割 |
| Associahedron | James Stasheff (1963) | 結合法則のホモトピー一貫性を記述する多面体の発見 |
| ∞-algebra | James Stasheff | 結合法則がホモトピー的に成り立つ代数系の定義 |
| Higher Topos Theory | Jacob Lurie (2000年代) | $\infty$-category 上でのトポス理論の構築 |
| Higher Algebra | Jacob Lurie | $A_\infty$ や $E_\infty$ 構造を内包した高次代数学の体系化 |
結論
Associahedron は Stasheff の発明 ですが、それを 「現代数学のツールキット（Higher Topos/Algebra）」ライブラリ として実装し直したのが Jacob Lurie であると言えます。