圏論を紹介する文章には、「ものではなく関係を見る」「異なる世界を同じ構造として捉える」といった表現がよく現れます。どちらも圏論の特徴を伝える言葉ですが、そこから「万物はつながっている」「あらゆる問題を一つの原理で説明できる」と進むと、数学から離れてしまいます。圏論でいう関係は、人間関係や因果関係を漠然と含むものではありません。始点と終点を持ち、決められた方法で合成できる射です。
圏論の強さは、世界のすべてを取り込むことではなく、何を残し、何をいったん捨てるかを厳密に選べる点にあります。対象と射を定め、どの変換を同じとみなし、どの図式の一致を問題にするのか。その選択が適切なとき、別々の分野に共通する仕組みが見えてきます。反対に、選択の根拠が曖昧なら、記号だけが整った空疎な説明にもなりかねません。圏論を神秘化せずに使うには、その射程と限界を圏論自身の言葉で確かめる必要があります。
「世界はすべてつながっている」と圏論は別の話
圏には、任意の二対象を結ぶ射があるとは限りません。AからBへの射が一本もないこともあれば、AからBへは行けてもBからAへ戻れない場合もあります。圏論が要求するのは、存在する射について合成と恒等射の法則が成り立つことです。あらゆる対象が互いに到達できるという主張ではありません。
順序集合を圏とみなす例が分かりやすいでしょう。x≦yのときだけxからyへの射があると決めれば、比較できない二要素の間にはどちら向きの射も存在しません。それでも立派な圏です。圏論は「本当はすべてが一つである」と隠れた結び付きを宣言するのではなく、どの向きの変換が許されるかを明示します。
したがって、「つながりを見る」という標語の核心は、つながりの多さではなく合成可能性にあります。AからBへの操作とBからCへの操作を接続したとき、AからCへの操作として扱えるか。恒等射を挟んでも意味が変わらず、三つの操作の括り方にも結果が左右されないか。圏論が調べるのは、この限定された意味での接続です。
圏が扱うのは関係一般ではなく合成できる射
日常語の「関係」は幅が広く、「似ている」「影響した」「近くにある」も関係と呼べます。しかし、それらを矢印で結んだだけでは圏になりません。二つの関係を続けた結果を同じ種類の関係として定められ、その合成が結合律を満たす必要があるからです。
たとえば「AはBに似ている」「BはCに似ている」から、「AはCに似ている」とは限りません。似ている度合いを数値化しても、二つの類似度をどう合成するかは別に決めなければなりません。一方、関数は出力の型と次の入力の型が合えば通常の合成ができ、連続写像を合成すれば再び連続写像になります。ここには圏を作る根拠があります。
人や社会や歴史を圏で表すこと自体は可能です。ただし、「影響」「協力」「継承」といった異質な関係を同じ矢印へ押し込めるなら、合成の意味を説明する責任が生じます。矢印を書いたことが説明になるのではありません。何を射と認め、合成が現実の何に対応するのかを示して初めて、圏論的なモデルとして検討できます。
同じ対象でも射の選択によって別の数学になる
圏は対象の一覧だけでは決まりません。対象が同じでも、射として何を採用するかによって別の圏になります。群を対象にして群準同型を射にすれば、単位元と積を保つ変換だけが残ります。同じ群を対象にしながら、台集合の間のあらゆる関数を射にすれば、群構造を無視する変換まで含まれます。
位相空間でも事情は同じです。連続写像を射にする圏と、すべての集合写像を許す圏とでは、同型の意味さえ変わります。前者の同型は同相写像であり、空間の位相的な形を保ちます。後者では、要素数が同じなら全単射が存在するため、穴の数や連結性は区別されません。
つまり「対象より射を見る」という方針は、対象の中身を無条件に捨てる合図ではなく、どの構造を保存したいかを射の選択に託す考え方です。選択を誤れば、知りたかった性質は最初からモデルの外へ落ちます。圏論は射を自動的に選んでくれません。何を不変なものとして扱うべきかは、代数学、幾何学、論理学、計算機科学など、それぞれの分野で判断する必要があります。
情報を選んで捨てるからこそ得られる抽象化の力
抽象化は、細部をすべて保存した精密な複製ではありません。目的に関係する構造を残し、それ以外を見えなくする操作です。位相空間の圏は連続性を扱うのに適していますが、二点間の距離は一般には記録しません。ベクトル空間と線形写像の圏は加法とスカラー倍を保つ一方、特定の基底や座標表示を標準装備しているわけではありません。
この忘却があるから、見た目の異なる対象を同じ定理で扱えます。積の普遍性を一度証明すれば、集合の直積、位相空間の積、順序集合の最大下界に共通する役割を表せます。しかし、共通部分を取り出した代償として、各対象に固有の計算方法や表現の便利さまでは結論できません。
対象・射・合成・恒等射
可換図式、普遍性、関手が保存する構造を議論できる
測定・実装・効率・経験的根拠
何をモデル化するか、現実に合うか、計算できるかは自動では決まらない
何を忘れたかを意識しないまま抽象的な結論を具体的な対象へ戻すと、過剰な一般化が起こります。圏論の定理が強力なのは、前提に指定した構造について広く成立するからです。その範囲を越えた性質まで保証するわけではありません。
同型は等号ではなく、圏の同値はさらに慎重を要する
圏論では、構造を保つ一対一対応がある対象を「同型を除いて同じ」と扱います。これは文字どおり同一だという意味ではありません。二つの一要素集合{0}と{★}は集合として別物ですが、全単射によって同型です。集合として重要な構造だけを見る場面では、要素の名前の違いを無視できます。
圏どうしの同値は、同型よりも一段ゆるやかな概念です。関手F: C→DとG: D→Cを往復させた結果が恒等関手に等しい必要はなく、自然同型で結ばれれば足ります。同値は、対象と射の構造を本質的に保ちますが、対象を一点ずつ同じものへ対応させるとは限りません。
有限次元ベクトル空間は、基底を選べば自然数nと行列を扱う圏へ移せます。けれども、一般のベクトル空間に標準的な基底が備わっているわけではありません。圏の同値によって線形代数の構造を行列へ翻訳できても、どの基底を選ぶべきか、どの表現が数値計算に安定かまでは決まらないのです。「同値だから完全に交換可能」と考えると、選択の非標準性や計算上の差を見失います。
普遍性が定める役割と具体的な作り方の隔たり
普遍性は、対象を内部の材料ではなく、射に対して果たす役割によって特徴づけます。積なら、二本の射を一意に束ねる対象です。この定義により、異なる構成が同じ役割を果たすことを証明でき、結果は一意な同型を除いて定まります。
ただし、普遍性は存在する対象を実際にどう作るか、有限時間でどう計算するかを常に教えるものではありません。積の普遍性だけから、データをメモリ上でどの順に並べるべきかは出てこないでしょう。自由対象の存在が証明されても、その表示が巨大になり、具体的な等値判定が難しい場合もあります。
仕様と実装の区別に近いものの、両者は対立しません。普遍性は「どの結果なら正解か」を実装に依存せず定め、具体的構成は「その結果へどう到達するか」を与えます。圏論が前者を鮮やかに記述できるからといって、後者が不要になるわけではないのです。証明可能性と計算可能性、計算可能性と効率のよさも、それぞれ別に確かめなければなりません。
可換図式だけでは実装や現実の正しさを証明できない
可換図式は、複数の経路を合成した結果が一致することを表します。変換の整合性を一枚で示せるため、圏論を象徴する道具になりました。しかし、図式が可換であることから、そこに置いた対象や射が現実を正しく表しているとは結論できません。
プログラムの設計なら、型と関数が法則どおり合成できても、処理が高速、安全、公平である保証は別問題です。暗号処理の関数が型検査を通り、関手やモナドの法則を満たしていても、鍵管理の欠陥やサイドチャネル攻撃は残り得ます。圏論的な整合性は、必要な性質の一部であって品質全体ではありません。
物理や社会のモデルでも、観測量と変換の関係を圏で整理することはできます。それでも、採用した変数が十分か、測定誤差をどう扱うか、予測がデータと一致するかは実証によって判断します。数学的に美しい構造と、経験的に妥当なモデルは同義ではありません。形式の正しさと対象への適合を分けることが、応用では特に重要です。
「圏にできる」と「圏論が役立つ」の間にある距離
ほとんど何も構造を持たない集合でも、各要素を対象とし恒等射だけを置けば離散圏になります。反対に、要素のどの組の間にも射を一本置くことも可能です。したがって、対象を圏の言葉で書けること自体は、それほど高い壁ではありません。
重要なのは、圏にしたあと何が得られるかです。射の合成が現象の合成を正しく表し、関手によって別の表現へ知識を移せるのか。普遍性が複数の構成を整理し、自然変換が選択に依存しない整合性を示すのか。こうした成果がなければ、既知の関係を対象と矢印へ書き換えただけで終わります。
分類表を「圏」と呼び、線を「射」と呼べば高度な説明に見えるかもしれません。しかし、新しい定理、計算、比較、設計原理のいずれにも結び付かないなら、圏論を導入した意味は薄いでしょう。抽象化の価値は用語の新しさではなく、以前は別々だった議論を一つの証明で扱えるかどうかに表れます。
ヨネダ補題が示すのは中身の不要論ではない
ヨネダ補題は、対象Aから各対象Xへの射を集めた関手Hom(A, -)などを通じて、Aを圏の中で特徴づけられることを示します。この結果はしばしば「対象は他者との関係だけで決まる」と紹介されます。方向としては近いものの、「中身は存在しない」「対象について何も知らなくてよい」とまで広げるのは正確ではありません。
射の集まりは、最初に選んだ圏の内部で測った振る舞いです。Topなら連続写像、Grpなら群準同型というように、何を射としたかがすでに対象のどの構造を見るかを決めています。ヨネダ補題は、選択済みの圏の中で対象を射によって完全に識別できると述べるのであって、観察方法の選択を不要にするものではありません。
さらに、Hom(A, -)に現れるのは単なる射の本数ではなく、Xを変えたとき射がどう移るかという関手全体です。関係の一覧だけでなく、合成に対する振る舞いまで含んでいます。「周囲とのつながり」という柔らかな比喩では、この自然性が抜け落ちます。ヨネダ補題の深さは神秘的な全体論ではなく、合成を保つ観測の精密さにあるのです。
圏論と数学基礎論をめぐる現在まで続く論争
圏論は1945年、サミュエル・アイレンベルグとソーンダース・マックレーンが、代数的位相幾何学に現れる自然同値を扱うために体系化しました。二人の論文では、圏そのものを補助的な概念と位置づけ、関手と自然変換を中心に据えています。出発点からして、世界の最終的な実体を定める思想として提案されたわけではありません。
その後、ローヴェアのETCSやトポス理論など、圏論的な言語で数学の基礎を組み立てる構想が発展しました。集合論とは異なり、集合を内部の所属関係からではなく、写像による構造の中で特徴づける道があります。これは圏論が単なる記法にとどまらないことを示す重要な成果です。
一方で、「一般の圏の公理」と「数学全体の基礎体系」は同じではありません。大きな圏を扱うときには、集合と真の類、宇宙、サイズの問題が現れ、どの基礎体系を採るかで許される構成が変わることもあります。圏論的基礎と集合論的基礎の関係には複数の立場があり、単純な勝敗はついていません。「圏論が集合論を不要にした」と言い切る説明は、現在の数学基礎論を過度に単純化しています。
圏論が本領を発揮する三つの条件
第一の条件は、保存したい構造と変換が明確であることです。群準同型、連続写像、線形写像のように、射の意味が対象分野の中心概念と一致していれば、合成を調べる価値が生まれます。曖昧な類似や連想を矢印にするだけでは、この条件を満たしません。
第二は、複数の構成に共通する普遍性や自然性があること。積を具体的な順序対から切り離し、自由構成を随伴としてまとめるように、個別の作り方を越えて再利用できる定理が得られる場面です。ここでは抽象化が情報を奪うだけでなく、別の領域へ移せる知識を生みます。
第三は、大きな仕組みを小さな部品の合成として理解したいことです。プログラム、回路、データベース、論理体系などでは、部品の接続規則から全体の振る舞いを組み立てる必要があります。圏論はこの合成可能性を正面から扱います。ただし、各部品の性能や現実との対応は、分野固有の理論と併用して確かめることになります。
万能ではないからこそ信頼できる共通言語
圏論は、対象の内部を一切見ない数学でも、あらゆる学問を一つに溶かす思想でもありません。対象をどの圏に置き、何を射とし、どの同値性まで許すかを選んだうえで、その選択から導かれる構造を厳密に追う数学です。適切な圏を見つけるまでには、対象分野への深い理解が要ります。
この制限は弱点ではありません。何を前提にし、何を保存し、何を忘れたかが明確だからこそ、圏論の結論を信頼できます。異なる分野に同じ図式が現れたときも、「すべては同じだ」と飛躍せず、どの構造が同じで、どの差異が残るのかを区別できるのです。
圏論が与える最も重要な態度は、壮大な統一感ではなく、比較の精度でしょう。二つの理論は何を保つ変換で結ばれるのか。似た構成は本当に同じ普遍性を持つのか。その対応は自然で、合成と両立しているのか。答えを急いで一つにまとめず、同じと言える範囲を厳密に定めるところに、圏論の節度と力があります。