講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナー「カテゴリー論基礎 2 Adjoint 」は、2024年5月に開催された「カテゴリー論基礎」の続編として位置づけられています。前回のセミナーでは、Category・Functor・Natural Transformationという基本構成要素と、LimitやCoLimitを可能にするUniversal Propertyの概念が扱われました [p.4]。今回は、カテゴリー論において最も中心的かつ「カテゴリー論のレンズなしでは見えない」と形容される概念、すなわち **Adjoint Functor（随伴関手）** の理解を深めることを中心テーマとしています。
Saunders Mac Laneが「Adjoint functorはいたるところに存在する」と喝破したように [p.21]、随伴関手は数学の広大な領域に通底する統一的構造です。Steve Awodeyが「adjointnessは数学の他の分野では捉えられていない、論理的にも数学的にも根本的に重要な概念である」と挑発的に主張したように [p.18]、Adjointの理解はカテゴリー論を「単なる言語」から「独立した研究領域」へと昇格させた歴史的転換点でもあります。
本セミナーはAdjointの概念史的背景から丁寧に議論を構築します。Adjointという名称の由来となったヒルベルト空間論における随伴作用素 `<Ax, y> = <x, A†y>` [p.28]、そして順序集合上のGalois connection `F(a) ≤ b ⟺ a ≤ G(b)` [p.48] という二つの先駆的概念を経由し、カテゴリー論的Adjoint functor `B(F(A), B) ≅ A(A, G(B))` [p.62] の定義へと至る論理の流れが丁寧に提示されます。
さらに本セミナーは、Adjointの定義を二方向から確立します。第一の定義であるhom集合の自然同型による定義 [p.62]、そして第二の定義としてunit `η: 1_A → G∘F` とcounit `ε: F∘G → 1_B` というnatural transformationのペアによる定義 [p.132] が導入され、両者が同値であることが「同一射の三角図式」の可換性を通じて証明されます [p.152, p.156]。これにより、Adjointを単なる定義として受け取るのではなく、数学の深部に走る構造的対称性として体感できる内容となっています。
参考文献として、Tai-Danae Bradleyのブログ、Tom LeinsterのBasic Category Theory、John BaezのApplied Category Theory Course、Emily RiehlのCategory Theory in Contextが挙げられており [p.11, p.12]、特にBaezの叙述にAdjoint概念が一貫して貫かれている点が強調されています [p.13]。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part 0: はじめに
本セミナーの背景・動機・参考文献を概観します。カテゴリー論の基礎を継続的に学ぶことの必要性と、2024年5月に解決された「幾何学的ラングランズ予想」のニュースを動機として、カテゴリー論特にAdjoint概念の学習が現代数学の変化を理解する第一歩であることが主張されます [p.7, p.10]。
■ Part 1: Adjoint概念成立以前
カテゴリー論的Adjoint functorが1957年に登場する以前に存在していた二つの「祖先的概念」、すなわち（1）ヒルベルト空間論における随伴作用素と（2）順序集合上のGalois connectionを検討します。両者に共通する「左右の対称的な対応関係」という本質的構造を浮き彫りにし、それがいかにして `B(F(A), B) ≅ A(A, G(B))` という定式化へと結晶化するかの準備が整えられます [p.30, p.52]。
■ Part 2: Adjoint Functor
カテゴリー論的Adjoint functorの正式な定義を与え、`Free functor ⊣ Forgetful functor` というペアを中心的例として詳述します。集合から群・ベクトル空間を生成するFree functorの構成と、`Vect_k(F(S), V) ≅ Set(S, U(V))` の証明を通じて、Adjointの定義が「具体的な数学的構成の本質」を正確に捉えることが実証されます [p.87, p.97]。さらに `−×B ⊣ (−)^B` という、Free/Forgetfulのペアとは異なる例も提示されます [p.102, p.111]。
■ Part 3: Unit と Counit
Adjunctionを特徴づける第二の定義として、unit `η: 1_A → G∘F` とcounit `ε: F∘G → 1_B` というnatural transformationのペアを導入します。「同一射の三角図式」の可換性という条件が、Part 2の定義と同値であることを証明し、unitとcounitによるAdjunctionの二つ目の定義を確立します [p.132, p.152, p.156]。
ページのナビゲート