第7章：高次圏論への展望 —— 同一視の「弱さ」とホモトピー

---

📖 このファイルの位置づけ

STEP 08 - 読み順

← 前のファイル	現在地	次のファイル →
前のファイル	第7章：高次圏論への展望 —— 同一視の「弱さ」とホモトピー	[次のファイル](/数学における「同じ」とは/終章：抽象化の果てにあるもの —— 数学的認識の構造と未来)

深掘り関連ファイル:

• [第7章_04節_∞-圏（Infinity Category）への招待](/数学における「同じ」とは/第7章_04節_∞-圏（Infinity Category）への招待)
• 第7章_06節_高次トポスと「商」の未来

---

【導入】等号の呪縛からの解放

—— 「イコール」は点ではなく道である

本書の冒頭、序章において、我々はヘラクレイトスの「同じ川に二度入ることはできない」という言葉から出発した。そして、数学がその流転する万物の中に「不変な構造」を見出し、「等号（$=$）」によって同一視（商）を行う営みであることを論じてきた。

第6章まで、我々はその「同一視」を、0か1かのデジタルな判定として扱ってきた。 集合論では $x\in A$ か否か。圏論では $f\circ g=id$ か否か。 商をとる（余等化子）とは、差異のある $f(x)$ と $g(x)$ を、強制的に一点に潰して $q(f(x))=q(g(x))$ とすることであった。 そこにあるのは「等しいか、等しくないか」という二分法、静的な真理の世界である。

しかし、20世紀後半から21世紀にかけて、数学の深層で地殻変動が起きた。 数学者たちは気づき始めたのだ。「等しい」という概念は、そんなに単純なものではないと。

「同じ」の階層性

二つの対象 $X$ と $Y$ があるとする。

1. レベル0（等号）： $X=Y$ である。文字通り同一である。
2. レベル1（同型）： $X\cong Y$ である。等しくはないが、可逆な射（同型射）$f:X\to Y$ で結ばれている。
   • ここで問いが生まれる。その同型射 $f$ と、別の同型射 $g:X\to Y$ は「同じ」か？
3. レベル2（ホモトピー/自然同型）： $f\Rightarrow g$ である。等しくはないが、射の間の射（2-射、またはホモトピー）$H$ によって、連続的に変形できる。
   • さらに問いは続く。その変形 $H$ と、別の変形 $K$ は「同じ」か？
4. レベル3（高次ホモトピー）： $H\Rrightarrow K$ である……。

この問いは無限に続く。「等しさ」とは、一点に定まる静的な「状態」ではなく、二つの対象の間を結ぶ**「道（Path）」であり、その道同士を結ぶ「面の変形」であり、さらにその間を結ぶ「立体の変形」である……という、無限の階層構造を持った「空間（Space）」**そのものとして捉え直されるようになった。

この新しいパラダイムを記述する言語が、**「高次圏論（Higher Category Theory）」あるいは「∞-圏（Infinity Category）」**である。 本章では、これまでの「厳密な商（潰すこと）」の概念を捨て、「弱い商（道を繋ぐこと）」という新しい視点から、現代数学が到達した同一視の地平を展望する。

---

【第1節】圏論の公理に潜む「弱さ」

—— 結合律は厳密か？

高次圏論への入り口は、実は通常の圏論（1-圏論）の公理の中に既に潜んでいる。 圏の定義における**「結合律（Associativity）」**を思い出そう。 $(f\circ g)\circ h=f\circ (g\circ h)$ この等式は、集合の圏 Set などでは、写像の合成として厳密に成り立つ。括弧をどこに付けるかは表記上の問題に過ぎず、実体としては $f(g(h(x)))$ という一つの写像である。

厳密でない結合律

しかし、数学的対象によっては、これが厳密には成り立たない場合がある。 例えば、「積（Product）」を考えよう。 集合 $A,B,C$ の直積について、$(A\times B)\times C$ と $A\times (B\times C)$ は「等しい（$=$）」だろうか？ 前者は $((a,b),c)$ という入れ子構造を持ち、後者は $(a,(b,c))$ という入れ子構造を持つ。集合論的に厳密に言えば、これらは異なる集合である。 ただ、自然な同型射 ${\alpha }_{A,B,C}:(A\times B)\times C\stackrel{\cong }{\to }A\times (B\times C)$ が存在して、両者を移り合えるだけだ。

テンソル積とコヒーレンス

もっと深刻なのは、ベクトル空間のテンソル積 $\otimes$ や、トポロジーにおけるループ空間の積である。 これらは、「結合律が成り立つ」と言いたいが、「厳密な等式としては成り立たない」。しかし「同型としては成り立つ」。 このような圏を**「モノイダル圏（Monoidal Category）」**と呼ぶ。

ここでは、等式 $A=B$ の代わりに、同型射 $\alpha :A\to B$（Associator）が主役になる。 すると新たな問題が生じる。「同型射の選び方は一意か？」「複数の同型射を組み合わせたとき、矛盾が生じないか？」 マックレーンは、有名な**「五角形図式（Pentagon Diagram）」**という可換条件（コヒーレンス条件）を満たせば、どのような経路で括弧を付け替えても結果は（同型を除いて）一意になることを証明した。

ここにあるのは、「厳密な正しさ（Strictness）」を捨てて、「一貫性のある弱さ（Coherence / Weakness）」を取るという、数学の成熟である。 「イコールで結べないなら、同型射という『橋』を架ければいい。ただし、橋の架け方が矛盾しないように交通ルール（コヒーレンス）を定めよう」。 これが高次圏論の基本的な精神となる。

---

【第2節】2-圏（2-Category）の世界

—— 射の間の射

「等しさ」を「射」に置き換える。このアイデアを体系化したのが**「2-圏（2-Category）」**である。

次元を上げる

通常の圏（1-圏）は、対象（点）と射（線）から成るグラフのような構造だった。 2-圏は、ここに「面」の要素を加える。

1. 対象（0-cell）: $A,B,C,\dots$
2. 1-射（1-cell）: $f,g:A\to B$
3. 2-射（2-cell）: $\alpha :f\Rightarrow g$
   • 2-射は、「射 $f$ を射 $g$ に変換する操作」を表す。矢印の間の二重矢印である。

最も典型的な例は、Cat（小さい圏の圏）である。

• 対象：圏 $\mathcal{C}$
• 1-射：関手 $F:\mathcal{C}\to \mathcal{D}$
• 2-射：自然変換 $\eta :F\Rightarrow G$ 関手 $F$ と $G$ は、一般には「等しく」ない。しかし、自然変換（2-射）で結ばれていれば、それらは「関係がある」とみなせる。

2-圏における「商」：コインサーター

さて、2-圏の世界において、第3章で学んだ「商（余等化子）」はどう変わるだろうか？ 通常の余等化子は、$q\circ f=q\circ g$ という「等式（1-射の一致）」を要求した。 しかし、2-圏の世界では、等式は強すぎる。 そこで、**「等式を要求する」代わりに「2-射を挿入する」**という操作を考える。

これを**「コインサーター（Coinserter）」**と呼ぶ（他にもコインマ、コディセントなど様々な変種がある）。 平行射 $f,g:A\to B$ に対するコインサーターとは、射 $q:B\to Q$ と、2-射 $\eta :q\circ f\Rightarrow q\circ g$ のペアであり、普遍性を満たすものである。

• 通常の商: $f$ と $g$ の違いを「潰してなくす」。
• 2-圏の商: $f$ と $g$ の違いを「潰さず、両者を結ぶ『道（2-射）』を架ける」。

これは革命的な視点の転換である。 「商をとる」とは、情報を破壊すること（Decategorification）ではなかった。 **「通行不可能な谷に、橋を架けて渡れるようにすること（Categorification）」**こそが、高次の視点における商の正体なのだ。 違いは残る。しかし、行き来可能になる。これにより、商空間は元の空間よりも豊かな構造（橋の情報）を持つことになる。

---

【第3節】ホモトピー論的視点

—— 連続変形としての同一視

この「橋を架ける」という発想は、トポロジーにおける**「ホモトピー（Homotopy）」**の概念と完全に合致する。

基本群亜群（Fundamental Groupoid）

位相空間 $X$ を圏とみなす視点がある。

• 対象: 空間内の点 $x,y,\dots$
• 射: 点 $x$ から $y$ へのパス（連続な道） $\gamma :[0,1]\to X$。 ただし、パスそのものを射とすると、結合律が成り立たない（道のつなぎ目でパラメータの速度が変わるため）。 そこで、「連続変形（ホモトピー）して重なるパスは同じ」とみなす（商をとる）。 こうしてできる圏を**「基本群亜群 ${\Pi }_1(X)$」**と呼ぶ。 ここでは、すべての射（パス）が可逆（逆戻りできる）なので、「群亜群（Groupoid）」となる。

ホモトピー極限/余極限

トポロジーにおいて、通常の商（プッシュアウトなど）をとると、空間の「ホモトピー型（柔らかい形）」が変わってしまうという問題（不具合）が知られている。 例えば、2つの点を1点に潰す写像は、ホモトピー同値ではない（点の数はホモトピー不変量ではない）。

そこで、**「ホモトピー余極限（Homotopy Colimit, hocolim）」という概念が登場する。 これは、2つの図形を「べったり貼り付ける（等式）」のではなく、「少し厚みのあるチューブでつなぐ（2-射）」**操作に対応する。

• 一点和 $X\vee Y$ （通常の余極限）：一点で無理やり接着。特異点ができる。
• ホモトピー一点和：$X$ と $Y$ を線分（道）でつなぐ。特異点はなく、滑らか。

高次圏論の視点では、この「ホモトピー余極限」こそが、真に自然な（Derivedな）商操作であるとされる。 無理やり潰すのではなく、間をつなぐ。 そうすることで、空間が本来持っていた「ねじれ」や「高次の穴」の情報が、潰れずに保存される（不変量が正しく計算できる）。 現代の代数幾何学や数理物理学（場の量子論など）では、この「潰さずに繋ぐ」商の概念が標準的に使われている。

---

続く論点（第二部）

【第4節】∞-圏（Infinity Category）への招待 —— 無限に続く同一視の塔 【第5節】ホモトピー型理論（HoTT） —— 計算機科学との邂逅

第二部では、2-圏のさらに先、無限の階層を持つ「∞-圏」の世界を紹介します。そして、計算機科学における「型理論」と「トポロジー」が奇跡的な融合を果たした「ホモトピー型理論（HoTT）」について触れ、等号（$=$）の概念が再定義される様を描きます。

続けて第二部を出力してよろしいでしょうか？