集合、図形、数、論理、コンピュータプログラム。一見すると別々の世界に属するものを、同じ言葉で語る数学があります。それが圏論です。圏論が注目するのは、個々の「もの」が何でできているかだけではありません。あるものから別のものへ、どのような対応や変換があり、それらをどの順番でつなげられるか。いわば、ものの正体よりも、もの同士の関係に現れる形へ焦点を移します。
この発想は、ときに「数学の数学」と呼ばれるほど抽象的です。しかし、抽象的だから現実から遠いとは限りません。むしろ圏論は、分野ごとに違う記号や用語の奥から、よく似た構造を見つけ出すために生まれました。駅と路線、データと変換、命題と証明など、具体例を変えても残る「つながり方」を扱うところに、その独特の強さがあります。
「もの」よりも「つながり方」に目を向ける圏論
圏論の最小限の骨格は、驚くほど簡潔です。「対象」と呼ばれるものがあり、対象から対象へ向かう「射」があります。さらに、射を順番につなぐ「合成」と、どの対象にも、その対象を変えない「恒等射」が備わっています。合成には順序を括り直しても結果が変わらないという法則があり、恒等射は合成しても何も変えません。このわずかな条件を満たす世界を、数学では「圏」と呼びます。
たとえば、駅を対象、ある駅から別の駅へ進む経路を射と考えてみましょう。東京から名古屋へ向かう経路と、名古屋から京都へ向かう経路は、東京から京都へ向かう経路として合成できます。東京駅にとどまるだけの経路を用意すれば、それが恒等射に当たります。実際の鉄道網は運行時刻や運賃まで含むため、この比喩だけで圏論のすべてを表せるわけではありません。それでも「何があるか」と「何から何へ進めるか」を分ける感覚はつかめます。
数学では、集合を対象、集合の間の関数を射にできます。図形を対象、形を保つ写像を射にすることも可能です。論理なら命題を対象、ある命題から別の命題を導く証明を射とみなせる場合があります。対象の中身はまるで違うのに、射を合成でき、恒等射があるという骨組みは共通しています。圏論は、その共通部分を偶然の類似で終わらせず、計算と証明ができる言葉へ変えたのです。
対象の中身を無視するのではなく、異なる分野にも繰り返し現れる「変換と合成」の骨格を取り出します。
1945年、「自然な対応」を厳密に語るために生まれた
圏論の出発点は、20世紀前半の代数的位相幾何学にあります。図形や空間の性質を、群などの代数的な道具へ移して調べる研究が発展すると、数学者は一つの空間に一つの群を対応させるだけでは足りなくなりました。空間の間の写像が、群の間の準同型へどう移るのか。その対応の仕方同士を、何をもって「同じ」と考えるのか。分野をまたいだ変換そのものを扱う言葉が必要になったのです。
サミュエル・アイレンベルグとソーンダース・マックレーンは、この問題を整理する過程で「圏」「関手」「自然変換」という概念を導入しました。理論の原型は1942年に米国数学会で発表され、1945年の論文『自然同値の一般理論』として公刊されます。題名に「圏論」と入っていない点は、この理論の誕生をよく物語っています。二人が最初に説明したかった主役は、圏そのものというより、異なる対応の仕方がどのような意味で自然に一致するかでした。
ここでいう「自然」は、日常語の「無理がない」「感じがよい」とは違います。対象ごとに勝手な選択をして一致させるのではなく、すべての対象と射に対して、対応が一貫しているという厳密な条件です。その一貫性は、矢印で描かれた図式がどの経路をたどっても同じ結果になる「可換図式」によって表されます。圏論が矢印の図を多用するのは、見た目を分かりやすくする装飾ではなく、変換同士の整合性を数学として確かめるためなのです。
異なる数学を同じ文法で語る関手と自然変換
一つの圏から別の圏へ、対象と射の関係を保ったまま移す仕組みを「関手」と呼びます。関手は、対象を別の対象へ対応させるだけでなく、射の向きや合成も壊しません。空間を代数へ移す、複雑な構造から一部の情報を取り出す、ある表現を別の表現へ翻訳する。そうした操作を、一つの形式で扱えるようになります。
さらに、二つの関手を比べる仕組みが「自然変換」です。二通りの翻訳方法があるとき、個々の結果がたまたま似ているだけでなく、あらゆる変換と両立しながら対応しているかを問います。対象、射、関手、自然変換という段階を重ねることで、圏論は「もの」「ものの間の変換」「変換の体系同士の翻訳」「翻訳同士の比較」までを同じ視野に収めました。
この見方がもたらしたのは、便利な略記法だけではありません。ある分野で証明した構造上の事実を、よく似た別の分野へ運べるようになりました。個々の対象を細部まで調べる方法と、構造を保つ変換から全体像をつかむ方法が並び立ったのです。圏論が「統一の言語」と呼ばれる理由は、すべてを一種類のものへ還元するからではなく、違いを残したまま共通する関係を比較できる点にあります。
抽象化は細部を捨てるためではなく、再利用するためにある
圏論への典型的な戸惑いは、「対象が何なのかを決めないまま、何が分かるのか」というものです。確かに、整数の大きさや図形の角度といった具体的な性質は、圏の公理だけからは出てきません。圏論は、対象の個性を消して万能の答えを与える理論ではないからです。
その代わり、具体的な作り方に依存しない定義を与えることができます。二つの対象を組み合わせる「積」を考えるとき、集合なら順序対の集合として作れます。しかし圏論では、その積が周囲の対象とどのような射で結ばれるかという役割によって特徴づけます。作り方が違っても同じ役割を果たすものを、同じ構造として扱えるわけです。この「名前や材料ではなく、関係の中で果たす役割によって定める」という考え方は、のちに普遍性と呼ばれる圏論の中心へつながります。
細部を忘れることは、情報を失うだけの操作ではありません。どの情報を残せば、その構造を別の場面でも使えるのかを選び取る作業でもあります。圏論の抽象性は、ものを曖昧に眺めるためではなく、異なる具体例に繰り返し現れる論理を、精密に再利用するためにあります。
数学の外へ広がり始めた圏論
圏論は長く、代数幾何学、位相幾何学、ホモロジー代数など、現代数学の高度な分野を支える言語として発展してきました。21世紀に入って存在感が増している背景には、その射程が数学内部にとどまらなくなったことがあります。理論計算機科学では、型と関数、計算の効果、プログラムの合成を整理するために圏論の概念が使われます。関手やモナドという言葉がプログラミングで知られるようになったのも、その一例です。
コンピュータで証明の正しさを検査する形式証明でも、圏論は重要な位置を占めます。定理証明支援系Leanの数学ライブラリmathlibには、圏、関手、自然変換、極限などを扱う大規模な体系が実装されています。圏論が形式化に向いているという単純な話ではありません。抽象度が高いぶん、対象の大きさや暗黙の同一視を厳密に扱う難しさもあります。それでも、人間の数学者が「同じ構造だから同じ議論でよい」と済ませてきた箇所を、機械が確認できる形にする場面で、圏論の文法が力を発揮します。
もう一つの流れが、ホモトピー型理論とユニバレント基礎です。そこでは、数学における「等しい」と「同型である」の隔たりを見直し、型理論、位相幾何学、高次圏論を結びつける研究が進んでいます。また応用圏論では、データベース、ネットワーク、制御、言語、物理など、複数の要素を合成して全体を作る問題へ圏論を生かそうとする国際会議が2018年以降続いています。現代の複雑なシステムでは、部品単体の性能だけでなく、部品をどう接続すれば全体の性質が決まるかが重要です。圏論の「合成を先に考える」姿勢が、そこに重なります。
圏論は万能の世界観ではない
圏論を知ると、あらゆるものが対象と射に見えてきます。しかし、何でも矢印で結べば有益な圏になるわけではありません。どの対象を選び、何を射とみなし、何を保存する関手を考えるのか。その設計が不適切なら、抽象化しても大切な情報を落とすだけです。圏論は、内容を知らずに使える近道ではなく、内容のどこに再利用できる構造があるかを見極める道具なのです。
それでも圏論が魅力を失わないのは、数学の根本にある問いを変えるからでしょう。「これは何か」と尋ねるだけでなく、「これは何と、どのような変換で結ばれているか」「二つの構成は、どの意味で同じ働きをするか」と問い直す。1945年に自然な対応を語るために生まれた理論は、分野の境界を越えて知識を組み立てる方法へ成長しました。圏論への入口に立つとは、新しい記号を覚えること以上に、関係と合成から世界を見る視点を手にすることなのです。