Jacob Lurie の体系に基づく ∞-Category の構造的階層(オントロジー)
最も広範な記述言語である ∞-Category を頂点とし、特定の公理や制約、あるいは「幾何学的な付加構造」によって各階層を定義します。
1. ∞-Category (Quasi-category) 【ことわりの全域】
すべての高次構造の基盤となる、最も制約の少ない「変化とプロセス」の記述言語です。
現実が成立する「背景」は、以下の性質を備えた ∞-Category です。
- Presentable (可提示性): 宇宙が「構成可能」であり、小回りの余極限(Colimit)によって巨大な構造が組み上げられる性質。
- Stable (安定性): 保存則やホモロジー的な「引き算」が可能であり、エネルギーや情報の伝播を記述できる性質。
- ∞-Topos: これら全ての「ことわり」を内包し、論理(集合論的性質)と幾何(ホモトピー的性質)を統合して、現実の「キャンバス」を提供する。
- 定義: 弱カン複体(Weak Kan complex)の条件を満たす単体集合。
- 特徴: 非可逆な「向き」を持つすべての射(morphism)を許容し、無限の階層のホモトピー的合成を可能にする。
2. 公理による特定のサブクラスの抽出
∞-Category の中で、特定の数学的整合性を満たす「洗練された領域」です。
- Presentable ∞-Category (可提示な ∞-圏):
- 数学的な「構成」や「計算」がサイズの問題なく実行できることが保証された領域。
- Stable ∞-Category (安定な ∞-圏):
- ホモロジー代数や保存則(加法性)が成立する領域。スペクトルや数論的対象の舞台。
- ∞-Topos (高次トポス):
- 局所的な真実から全体を構成する「層(Sheaf)」の整合性が保証された領域。論理と幾何が融合する。
3. ∞-Groupoid / Kan Complex 【時空と幾何学的空間】
∞-Category の中で、**「すべての射が可逆(対称)である」**という制約を加えたサブクラスです。
- 実体: トポロジーにおける「空間(ホモトピー型)」そのもの。
- 役割: 私たちが認識する「幾何学的な広がり」や「変形可能(可逆)な時空」の本体。
【ファイバーの付加構造】
この幾何学的空間の各点(ベース)に対し、物理的な対称性を記述する高次元の複素空間がファイバーとして付随します。
- 1, 2, 4, 8, …次元: 複素数 (C)、四元数 (H)、八元数 (O) 等による量子・スピン・例外型対称性の記述。
4. 0-Category (Set / 0-groupoid) 【情報の記録・底辺】
∞-Category の中で、**「恒等射以外のすべての射を排除した」**最も制約の強い(構造が貧弱な)世界です。
- 可視宇宙の全歴史: ビッグバンから現在に至るまでの確定した全データ(時空の履歴)は、高次構造から見ればこの「静的な点」の中に格納されます。
- 巨大数: グラハム数、Centillion、TREE(n), Hyperoperationなどの膨大な「量」も、この階層における「一点」に過ぎません。
構造階層図(WordPress用 Unicodeマップ)
Plaintext
∞-Category (最大母集合:変化の全可能性)
└── [公理による抽出:論理と保存則]
├── ∞-Topos (論理的整合性:層の結合)
└── Stable ∞-Category (加法的な保存則:ホモロジー)
[時空と幾何学的舞台:可逆性の制約]
└── ∞-Groupoid / Kan Complex (幾何学的空間)
└── [ファイバーの付加:代数的対称性]
└── 複素・四元・八元空間 (1, 2, 4, 8, 16...次元)
[最底辺:構造の消失・情報の記録]
└── 0-Category (Set / 0-groupoid)
├── 可視宇宙の全歴史 (ビッグバン〜現在までの全記録)
└── 巨大数 (グラハム数、センティリオン、TREE(n)等)
結論としての視点
このオントロジーにおいて、「巨大数」や「ビッグバンを含む宇宙史」は、最も低い構造階層(0-次元)に位置します。これらは膨大な「量」や「情報」を持ちますが、階層を上がるにつれて「関係性の向き(Category)」、「可逆な空間(Groupoid)」、「論理の整合性(Topos)」、そして「変化の全可能性(∞-Category)」という、より純粋な「ことわり(原理)」に包摂されていきます。
Higher Category Theory的な地球、宇宙の位置関係
地球や宇宙のような現実の対象は、∞-categoryのうち、Presentable ∞-Category, Stable ∞-Category的な性質を付与されたcategoryであり、そこにstratified∞-Category的性質を付与され、0,1,n,∞-groupoidが存在できる圏ができる。ここでは∞-topos という論理と幾何を同時に担う圏を背景として、fiber / sheaf / strata 的に組織された高次圏的対象が与えられる。各局所相は fiber として現れ、その全体は sheaf によって整合的に貼り合わされ、さらに strata によって特異点や境界を含む多層構造が与えられる。運動や関係は0-category 、1-category、n-category、∞-category の各レベルで記述され、最終的に観測された確定像は truncation(τ≤0)を通じて 0-groupoid 的データとして現れる。

