講演資料
講義資料スライドの表紙です。スライド画像、または下の要約文中の青いページ番号リンクをクリックすると、別のタブで無駄なノイズのない、純粋なPDFビューア画面が起動し、指定されたページへ直接ジャンプして快適に閲覧できます。
全体概要
本セミナー「HoTT入門
数理科学とカテゴリー論
トピック #01」は、ホモトピー型理論（Homotopy Type Theory, HoTT）という現代数学・計算機科学の最前線に位置する理論体系への入門として設計されています。HoTTは、数学の基礎論・型理論・ホモトピー論という三つの潮流が交差する地点に生まれた理論であり、その理解には「カテゴリー論」の直観的な把握が不可欠です。本トピックはその第一歩として、カテゴリー論の核心概念を、数式よりも先に「図形的・視覚的な直観」から丁寧に構築することを目指しています。
セミナーの出発点となる問いは「カテゴリーとは何か」です。伝統的な数学では、集合と写像によって構造を記述しますが、カテゴリー論はその視点を一段抽象化し、「プロセス（過程）」そのものを主役に据えます。入力から出力への変換という「プロセス F : x → y」を「モルフィズム（射）」と呼び、その入出力を「オブジェクト」と名付けるという、シンプルでありながら強力なフレームワークがここに展開されます。
さらに本セミナーは、John Baezの「Symmetric Monoidal Categories: a Rosetta Stone」という著名な視点を参照しながら、プロセスの「直列結合（合成 ∘）」と「並列結合（テンソル積 ⊗）」という二つの基本操作を導入し、それらが満たすべき整合性条件（交換法則）を視覚的な紐図（string diagram）によって直観的に解き明かします。最終的にこれらの条件を満たす構造が「Monoidal Category」、さらに並び替えの対称性を加えたものが「Symmetric Monoidal Category」として定式化されます。抽象的な代数的構造が「プロセスの図形的操作」として自然に浮かび上がる点に、本講義の根本的な魅力があります。
講義のロードマップ
■ Part 1: カテゴリーの基本概念 ― オブジェクトとモルフィズム
- この部の核心:
カテゴリーを「プロセスを記述する数学的言語」として定義し、その最小単位である「モルフィズム（射）F : x → y」と「オブジェクト x, y」の概念を、視覚的な図形表現（逆三角形ノード＋有向線）によって導入します。John Baezの「Rosetta Stone」的視点を指針としながら、集合論的な写像の概念を超えた「プロセス優先」の世界観を打ち立てます。[p.2], [p.3], [p.4], [p.5], [p.7]
- 論理展開:
- カテゴリーの本質は「プロセス F」の記述であり、その入力を x、出力を y として F : x → y と表記する。[p.3]
- このプロセスを逆三角形ノードと上下の有向線で図形化し、「モルフィズム（射）」と命名する。[p.4]
- x と y はそれぞれ「オブジェクト」と呼ばれ、モルフィズムの始域・終域を担う。[p.5], [p.7]
■ Part 2: プロセスの結合 (1) ― モルフィズムの「合成」
- この部の核心:
二つのプロセスを「直列」につなぐ操作として、モルフィズムの「合成 ∘」を定義します。最初のプロセスの出力が次のプロセスの入力と一致するとき、図形的には二つのノードを上下に連結することで、合成 G ∘ F : x → z という新たなモルフィズムが自然に得られます。[p.8], [p.9], [p.10], [p.11]
- 論理展開:
- F : x → y かつ G : y → z のとき、出力と入力が「y」で一致することが合成の前提条件となる。[p.9]
- 二つのノードを縦に連結した図が合成 G ∘ F : x → z を表し、記法では「後に適用するものを左に書く」順序に注意が必要である。[p.10], [p.11]
■ Part 3: プロセスの結合 (2) ― モルフィズムの「テンソル積」
- この部の核心:
二つのプロセスを「並列」に走らせる操作として、モルフィズムの「テンソル積 ⊗」を定義します。合成が「時間的な直列接続」であるのに対し、テンソル積は「空間的な並列接続」に対応し、F ⊗ G : x ⊗ x' → y ⊗ y' という形でオブジェクト自身にも積の構造を誘導します。[p.12], [p.13], [p.14], [p.15]
- 論理展開:
- F : x → y と G : x' → y' を横に並べた図がテンソル積 F ⊗ G を表す。[p.13]
- テンソル積はオブジェクトにも作用し、x ⊗ x'、y ⊗ y' という「積オブジェクト」を自然に生成する。[p.14], [p.15]
■ Part 4: 合成とテンソル積が満たすルール ― 交換法則の視覚的証明
- この部の核心:
合成 ∘ とテンソル積 ⊗ という二つの操作の間に成立する重要な整合性条件、すなわち「交換法則 (G ∘ F) ⊗ (G' ∘ F') = (G ⊗ G') ∘ (F ⊗ F')」を取り上げ、これを紐図（string diagram）の「括り方の任意性」として視覚的に証明します。等式は抽象的に見えますが、図形的には「同一のダイアグラムを縦に括るか横に括るかの違いに過ぎない」ことが一目瞭然となります。[p.16], [p.17], [p.18], [p.19], [p.20]
- 論理展開:
- 式 (G ∘ F) ⊗ (G' ∘ F') は、合成済みの二つのプロセスをテンソル積で並べる操作を表す。[p.19]
- 同じダイアグラムを横に括り直すと (G ⊗ G') ∘ (F ⊗ F') が得られ、両者の等号が図形的同一性として確認できる。[p.20]
■ Part 5: Monoidal Category と Symmetric Monoidal Category の定義
- この部の核心:
これまでに見た「モルフィズム」「合成 ∘」「テンソル積 ⊗」「交換法則」という条件の全体を満たす構造を「Monoidal Category（モノイダル圏）」と命名します。さらに、二本の線が交差して入れ替わる対称性モルフィズム（Symmetry）を追加した「Symmetric Monoidal Category（対称モノイダル圏）」へと発展させ、物理・量子計算・言語理論など多様な応用を射程に収めるための基盤概念として提示します。[p.21], [p.22], [p.23], [p.24], [p.25], [p.26]