【第6節】高次トポスと「商」の未来
—— スタック（Stack）の概念
第6章のトポロジーの話で、少しだけ触れた問題がある。 「商空間を作ると、ハウスドルフ性が壊れて、まともな空間でなくなることがある」。 例えば、原点を中心に回転する円周の集合を考え、回転角が無理数倍の回転で同一視（商）をとると、商空間は「密着位相（すべての点がへばりついた状態）」になり、幾何学的な構造が崩壊してしまう。
しかし、現代数学（特に代数幾何学やモジュライ理論）では、このような「悪い商」こそが、むしろ研究の中心対象となることが多い。 どうすれば、この崩壊した商空間から、有意義な情報を救い出せるのか？ その答えが、グロタンディークが開拓し、現代の高次圏論へと受け継がれた概念、**「スタック（Stack）」**である。
無理に潰さず、群として残す
アイデアは驚くほどシンプルで、かつ圏論的である。 「商をとって空間が潰れてしまうのは、同一視（）を『単なる等式』として処理してしまったからだ。そうではなく、『同一視の操作そのもの（群作用）』を情報として残しておけばいい」
具体的には、集合 に群 が作用しているとき、商集合 を作るのではなく、**「作用亜群（Action Groupoid） 」**という圏（あるいは2-圏以上の対象）を考える。
- 対象： の点。
- 射： から への射として、群の元 を採用する。
ここでは、 と は「等しい」とはみなされない。あくまで「 という操作で繋がっている」だけだ。 したがって、情報は潰れない。元の空間 と群 の情報をすべて保ったまま、「商のような振る舞い」をする対象として扱える。 このような対象を、幾何学的な文脈ではスタックと呼ぶ（厳密には、ある種の層条件を満たす圏のファイブレーションだが、ここでは直感を優先する）。
モジュライ空間の正しい姿
例えば、「すべての楕円曲線の集まり（モジュライ空間）」を考えたいとする。 楕円曲線には「自己同型（対称性）」があるため、単純に集めて商をとると、特異点ができて構造が悪くなる。 しかし、スタックとして扱えば、各点（楕円曲線）がその内部に「自己同型群」という余剰構造を保持したまま存在できる。 スタックとは、**「各点が内部構造（群）を持っているような、一般化された空間」**のことだ。
これは、第7章の冒頭で述べた「コインサーター（2-射を追加する商）」の幾何学的具現化である。 等式で潰す（Decategorify）のではなく、群亜群へ持ち上げる（Categorify）。 これが、21世紀の数学における「商」の最終形態（の一つ）である。 「商とは、情報を捨てることではない。情報を『関係性』という高次の構造へとエンコードし直すことである」
【結び】数学とは「等しさ」をめぐる終わらない旅
全7章、およそ15万文字（相当）にわたる長い旅が、ここで終わろうとしている。 我々は「数学的類似性と商概念」というテーマを、圏論という現代数学の共通言語を羅針盤として探求してきた。
旅の振り返り：静から動へ
- 序章・第1章では、集合論的な「等号（）」と「同値関係」から出発した。そこでは、商とは「袋詰め」であり、差異を消滅させる静的な操作だった。
- 第2章・第3章で圏論が登場し、商は「余等化子」という普遍性を持つ射として再定義された。商は「構造を保つ翻訳」であり、情報の圧縮装置となった。
- 第4章・第5章では、双対性（部分と商）や随伴（自由と忘却）というダイナミズムの中で、商が数学的構造の生成と解析に不可欠なパーツであることを学んだ。
- 第6章の実践編では、幾何学のグルーイングや代数のイデアルといった具体的な計算の現場で、圏論的商概念がいかに強力な武器となるかを見た。
- 第7章の現在、我々は「等しさ」の概念そのものが揺らぐ最前線にいる。等式は「パス」になり、空間は「型」になり、商は「高次のつながり（スタック）」へと進化した。
商の哲学：理解とは「分解」である
本書を一貫して流れていた哲学は、**「理解するとは、商をとることである」**というテーゼだ。 世界は複雑で、無限の差異に満ちている。 そのままでは、我々は何も認識できない。 だからこそ、我々は「商」をとる。 色を無視して形を見る。個性を無視して数を見る。ノイズを無視して信号を見る。 商をとることで、我々は情報の洪水を生き延び、その背後にある「構造（パターン）」を抽出する。
しかし、圏論が教えてくれたのは、商をとることは「何かを失うこと」だけではないということだ。 商をとる（全射）ことと、埋め込む（単射）ことは、写像の分解（）において表裏一体であった。 不要なものを削ぎ落とすプロセスは、同時に、本質的なものを結晶化させるプロセスでもある。
数学の未来へ
数学の旅は終わらない。 圏論は今も進化し続けている。∞-圏論、ホモトピー型理論、高次トポス理論……新しい理論が生まれるたびに、「同じ」という言葉の意味は更新され、より深く、より豊かになっていく。
読者の皆さんが、本書を閉じた後、目の前の数式や図形を見たとき、そこに一本の矢印（射）を感じ、 「これは何を保存し、何を同一視しているのか？」 「この構造の普遍性は何か？」 という問いを投げかけるようになっていれば、著者としてこれ以上の喜びはない。
数学とは、差異の中に類似を見出し、混沌の中に秩序（コスモス）を建設する、人類の果てしない知的冒険なのだから。
（完）
この構成は、現代数学の標準的なカリキュラム（集合位相、群環、圏論、ホモロジー、トポロジー）を縦断しつつ、「商」という一つのキーワードで串刺しにする、類書のない体系的なテキストの設計図となっています。数学的な思索の地図として位置づけられる。