講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編の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]
■ Part 2: プロセスの結合 (1) ― モルフィズムの「合成」
二つのプロセスを「直列」につなぐ操作として、モルフィズムの「合成 ∘」を定義します。最初のプロセスの出力が次のプロセスの入力と一致するとき、図形的には二つのノードを上下に連結することで、合成 G ∘ F : x → z という新たなモルフィズムが自然に得られます。[p.8, p.9, p.10, p.11]
■ Part 3: プロセスの結合 (2) ― モルフィズムの「テンソル積」
二つのプロセスを「並列」に走らせる操作として、モルフィズムの「テンソル積 ⊗」を定義します。合成が「時間的な直列接続」であるのに対し、テンソル積は「空間的な並列接続」に対応し、F ⊗ G : x ⊗ x’ → y ⊗ y’ という形でオブジェクト自身にも積の構造を誘導します。[p.12, p.13, 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]
■ 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]
ページのナビゲート