セミナー紹介

全体概要

本セミナー「カテゴリー論基礎」は、現代数学の根幹をなすカテゴリー理論（圏論）の基礎的概念を、丁寧かつ体系的に解説する講義です。カテゴリー理論は1940年代にSamuel EilenbergとSaunders MacLaneによって創始された分野であり、その誕生の動機は「Natural Transformation（自然変換）」という概念を厳密に定義したいという願望にありました。Natural Transformationを定義するためにFunctor（関手）が必要となり、Functorを定義するためにCategory（圏）の定義が必要となった、という知的連鎖が本理論の出発点です [p.37]。

カテゴリー理論の本質的な強みは、Tom Leinsterが「数学を鳥の目のように俯瞰する」と表現するように、個々の数学的対象の細部ではなく、対象間の「関係のネットワーク」に注目する点にあります [p.8], [p.9]。二つの数の最小公倍数と二つのベクトル空間の直和が「どのように似ているか」、離散位相空間・自由群・有理数体の共通点とは何か——こうした問いに統一的な言語で答えることがカテゴリー理論の使命です。

講義はPart 1とPart 2の二部構成をとります。Part 1ではCategory・Functor・Natural Transformationという三層の基礎概念を積み上げ、Part 2ではその応用としてLimit・Colimitとその多様な具体例（Product、Pullback、Equalizer、Inverse Limit、Terminal Object）を展開します。特にLimitの定義は、Natural Transformationの「cone（錐）」という幾何学的直観と「Universal Property（普遍的性質）」という代数的厳密さを結びつけることで与えられており、集合論的に定義されることの多い数学的構造が、射の記述によって完全に特徴づけられるというカテゴリー理論の核心的テーゼを体現しています [p.128]。

講義のロードマップ

■ Part 1: Category と Functor

• この部の核心:

カテゴリーとは「オブジェクト」と「射（morphism）」および「射の合成」からなる数学的構造であり、同一射の存在・合成の結合性という二つの公理を満たすものです [p.11], [p.12]。Functorはカテゴリー間の「写像」であり、オブジェクトと射の対応を保ちながらカテゴリーの構造を移送します [p.41]。Natural TransformationはFunctor間の「写像」として、コンポーネントの族と可換性条件（naturality条件）によって定義されます [p.60]。

• 論理展開:
• Category: オブジェクト・射・射の合成・同一射を公理的に定義し、Set（集合の圏）・Vect（ベクトル空間の圏）・Top（位相空間の圏）・preorder・discrete category・opposite categoryなどの豊富な具体例を通じて概念を確立します [p.22]〜[p.33]。言語の「表現」の包含関係がpreorderを構成し、preorderはcategoryであるという応用例も示されます [p.13]〜[p.17]。
• Functor: 「DiagramはFunctorである」という洞察のもと、Indexing categoryからの写像としてdiagramを再解釈します [p.47]〜[p.51]。covariant FunctorとContravariant Functorの区別、Forgetful Functorの概念も導入されます [p.52]〜[p.55]。
• Natural Transformation: componentの族 $\{\eta_x\}_{x \in \text{obj}(C)}$ として定義し、constant functorとの組み合わせで「cone over F」「cone under F」という幾何学的表現を導きます [p.60]〜[p.71]。Natural Transformationの合成からfunctor categoryの概念へと発展します [p.72]〜[p.75]。

---

■ Part 2: Limit

• この部の核心:

Limitとは、あるdiagram F上のすべてのcone（cone over F）の中で「Universal Property」を満たす唯一の対象——すなわちuniversal cone over F——のことです [p.89]。数学的構成には「部分的なものを取る（limit）」と「物事を接着する（colimit）」という二類型があり、カテゴリー理論はこれらを統一的に記述します [p.82]。Indexing categoryの「形」によってlimitの名称（product・pullback・equalizer等）が決まるという統一的枠組みが本Partの要です [p.95]。

• 論理展開:
• LimitとColimitの定義: diagram F: I→C に対し、constant functor Xとの間のNatural Transformation（cone over F / cone under F）を用いて定義。`hom(X, lim F) ≅ Nat(X, F)` という同型がlimitの本質を表します [p.85]〜[p.92]。
• Product: discrete indexing categoryに対応するlimitであり、集合の圏ではデカルト積として実現されます [p.98]〜[p.103]。coproductはその双対（colimit）です [p.104]。
• Pullback: 「スパン形」indexing categoryに対応するlimitで、集合の圏では $X \times_Z Y = \{(x,y) \in X \times Y \mid s(x) = t(y)\}$ として実現。Z=*の場合にfiber、X,YがZの部分集合の場合に交差（intersection）となる応用例が示されます [p.111]〜[p.115]。
• Equalizer: 二重矢印形indexing categoryに対応するlimitで、$\text{eq}(f,g) = \{a \in A \mid f(a) = g(a)\}$ として実現。gが定数関数の場合にfiberが、群の準同型でgが単位元への写像の場合にKernelが得られます [p.121]〜[p.125]。
• Inverse Limit: 鎖状（逆向き）diagramのlimitであり、直積のサブオブジェクトとして構成されます。写像がすべてinclusion mapの場合に無限交差 $\bigcap_i A_i$ となります [p.137]〜[p.140]。
• Terminal Object: 空のdiagramのlimitとして定義され、集合の圏では一点集合 * が該当します。任意のオブジェクトからterminal objectへの射が唯一存在するというUniversal Propertyを持ち、`* → S` という写像が集合Sの「要素」に対応するという深い洞察が示されます [p.144]〜[p.149]。