Higher Category Theory｜高次圏論

Higher Category Theory（高次圏論）は、現代数学において「等しさ」を極限まで精密に扱うための枠組みです。通常の圏論（Category Theory）が「対象」と「射（矢印）」を扱うのに対し、高次圏論はその先の「矢印の間の矢印」を無限に積み重ねていきます。

1. 誰が開発したのか？

高次圏論は、20世紀後半のホモトピー論と代数幾何学の合流地点で形作られました。

ジャン＝ピエール・セール (Jean-Pierre Serre) & アレクサンドル・グロタンディーク (Alexandre Grothendieck): 1950〜60年代、グロタンディークは「スタック（Stack）」や「パースイング・スタックス（Pursuing Stacks）」という構想を通じて、空間の性質を記述するには通常の圏では不十分であり、無限の階層が必要であることを予見しました。
アンドレ・ジョイアル (André Joyal): 1980年代以降、**「準圏（Quasicategory）」**という概念を導入し、高次圏を扱いやすい数学的対象として定式化しました。
ジェイコブ・ルーリー (Jacob Lurie): 2000年代、膨大な著書『Higher Topos Theory』と『Higher Algebra』により、高次圏論を現代数学のあらゆる分野（代数幾何、トポロジー、数論）に適用可能な、完全な「基盤」として整備しました。

高次圏論は、以下の3つの数学的伝統を統合しています。

古典的圏論 (Category Theory): エレンバーグとマックレーンによる「対象と射」の理論。これを「1次」の構造として継承しています。
ホモトピー論 (Homotopy Theory): 点と点を結ぶパス、パスとパスを結ぶ面（ホモトピー）……という無限の変形構造。高次圏論は、ホモトピー論を代数的な「圏」の言葉で書き換えたものと言えます。
単体的集合 (Simplicial Sets): 高次元の図形（三角形、四面体など）を組合せ論的に扱う手法。これが高次圏を定義するための主要な言語となりました。

「1次」の圏論では解決できない、以下の問題に対処するために必要となりました。

「等しさ」の不完全性: 数学では、2つのものが「厳密に等しい」ことは稀で、大抵は「同型（Isomorphic）」です。しかし、同型であることを示すための「同型射」自体がまた別の同型射と関係を持つことがあり、この連鎖を正しく管理するには高次元の構造が不可欠でした。
空間の代数化: 位相空間の複雑なねじれや穴の情報を、情報の欠落なしに「代数的なデータ構造」として取り出すためです。
モジュライ空間の記述: 「図形の集合」自体が図形的な構造を持つ（モジュライ）場合、その上の計算は通常の集合論の枠を超えてしまいます。

高次圏論（特に ∞-category）は、数学の「記述言語」そのものをアップデートしました。

(∞, 1)-category: すべての n 次の射（n > 1）が可逆であるような圏。現代のホモトピー論や代数幾何学の標準的な言語となっています。
グロタンディークのホモトピー仮説 (Homotopy Hypothesis): 「すべての n 次の射が可逆な n 次圏」は、「n 次までのホモトピー型」と本質的に同じであるという予言。これは高次圏論の正当性を支える大きな指針です。
物理学への応用: 量子場理論（QFT）における「トポロジカル場理論（TFT）」の分類において、高次圏論は決定的な役割を果たしています（コボルディズム仮説）。

HoTT（ホモトピー型理論）において、型 A の要素間の等式 p : a = b は「1次射」、その等式間の等式 α : p = q は「2次射」に対応します。つまり、HoTTは「高次圏論をプログラムの型として実装したもの」と言えます。