圏論：概念、歴史、応用

基本概念と言語

圏は、対象の集まりと、対象の順序対ごとに一方から他方への射（矢印）の集合を備えたものである。射は写像や関数という概念を抽象化したものであり、よく知られた多くの例では射は文字どおり関数である。したがって、始域と終域が指定された関数、すなわち始域と終域を持つ関数として考えることができる。

圏には二つの構造規則がある。第一に、射は合成できる。一つの射の終点が別の射の始点となるとき、最初の射の始点から次の射の終点への合成射が存在する。この考え方はしばしば図式によって表され、合成の公理として捉えられる。第二に、各対象には、合成に対する中立元として働く恒等射がある。合成は結合的でなければならず、恒等射と両立しなければならない。射の関係を表す図式では、異なる経路が同じ合成射を与えるとき、その図式は可換であるという。

代表的な例と構成

• Set：対象が集合であり、射が集合間の関数である圏。
• 群・環・加群：準同型を射とする代数的構造であり、それぞれの分野が圏をなす。
• Top：位相空間と連続写像からなる圏であり、幾何学的概念が圏論的枠組みに収まることを示す。
• 半順序集合：二つの対象の間に高々一つの射しかない圏としてみなされる部分順序集合。

発展的な考え方と区別

基本定義を越えて、圏論では圏どうしを比較する構成を研究する。関手とは、対象を対象へ、射を射へ送る圏の間の写像であり、合成と恒等射を保存する。自然変換は関手を比較するもので、圏を写す二つの方法の間にある体系的な射という考えを捉える。重要な概念には、積・和・商を一般化する普遍的構成である極限と余極限、「最良の」近似として広く現れる随伴関手、そして対象を一意な同型を除いて指定する普遍性がある。

圏は、対象と射の集まりが集合をなす場合には小圏、これらの集まりが真の類である場合には大圏と呼ばれる。圏論的言語の柔軟性により、数学者は異なる種類の数学的実体を統一的に扱い、分野をまたいで考え方を移すことができる。

歴史、応用、重要性

圏論は20世紀半ばに、代数的位相幾何学とホモロジー代数学のための道具として生まれ、数学者サミュエル・アイレンベルグとサンダース・マックレーンによって導入された。その後、多くの領域で中心的な役割を担うようになった。代数学と位相幾何学における概念的な関係を明確にし、プログラミング言語と型システムの意味論を支え、データベース理論に示唆を与え、トポス理論と圏論的論理学を通じて数学の基礎にも寄与している。計算機科学では、圏論的な考え方がプログラムのモジュール性と正しさを高め、計算や効果を伴う操作の概念を形式化する助けとなる。

重要である理由

圏論は、数学全体にわたる構造と類似性を明らかにする力ゆえに評価されている。要素そのものではなく写像と変換を重視することで、構成や定理の本質的な形を取り出し、しばしば証明を簡潔にして一般化を示唆する。学ぶ人にとっては、具体的な計算を補う高い視点をもたらし、複雑な数学的領域を整理する道具となる。

入門書、概説、計算や論理学への応用についてさらに読むには、圏論の資料のような参照ページからリンクされる概観や講義資料、ならびに位相幾何学や代数学に関連する分野別の解説を参照されたい。