講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
このセミナー「マグニチュード論の展開」は、数学的対象の「大きさ（magnitude）」とは何かという根源的な問いを、カテゴリー論という現代数学の強力な言語を通じて追求するものです。もともとTai-Danae Bradleyの論文「The Magnitude of Categories of Texts Enriched by Language Models」（2025年）の紹介を目的として企画されましたが、その前提となる理論的基盤があまりに深く広大であったため、今回はBradleyの論文への入口となるマグニチュード論そのものの歴史的展開を独立したセミナーとして扱っています [p.2, p.3]。
セミナーが提起する問いは「大きさとは何か」という一見素朴なものです。しかし、その探求は古典的数論のリーマンのゼータ関数とメビウス関数の関係 [p.12]、Rotaによる半順序集合へのメビウス反転の一般化 [p.15]、Leinsterによる有限カテゴリーのオイラー特性数の定義（2006年）[p.8, p.31]、そして距離空間のマグニチュード（2011年）[p.9, p.47] へと連なる知的系譜の中に位置づけられます。
特筆すべきは、この理論がenriched カテゴリー論という統一的な枠組みによって一本の糸で結ばれている点です。Leinsterの「ダイアルのたとえ」が象徴するように、enriched カテゴリー論のダイアルを回すことで、カテゴリー論・ホモロジー代数・順序理論・距離空間という一見異なる数学分野が同一の機械から生み出されることが示されます [p.76]。この観点から、Lawvereの1973年論文「Metric Spaces, Generalized Logic and Closed Category」は決定的な役割を果たしており、三角不等式と射の合成則の間に潜む深いアナロジーを鮮やかに提示しています [p.111, p.112]。
セミナーは、マグニチュード論がBradleyのLLM研究と共通の理論的土台に立っていることを示唆しつつ、次回セミナーへの橋渡しとして閉じられます。カテゴリー論という共通の武器のもとで21世紀の科学・技術において同時多発的に展開される研究の波を、本セミナーはその深い数理的背景から照射しています [p.68]。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part 1: マグニチュード論の登場
現代のマグニチュード論がいかなる理論的系譜から生まれたかを俯瞰します。数論的なゼータ関数・メビウス関数の関係から出発し、Leinsterによる2006年・2011年の二つの里程標的論文を紹介することで、「大きさ」という概念がカテゴリー論的な文脈でいかに精密化されていったかを追います [p.6, p.7]。
■ Part 2: enriched カテゴリー論とマグニチュード
マグニチュードを「有限カテゴリーのオイラー特性数」から「enriched カテゴリーのマグニチュード」へと格上げすることがこのPartの飛躍点です。enriched カテゴリー論のダイアルを回すことで、カテゴリー論・距離空間・半順序集合・線形カテゴリーが一つの機械から生み出されること、そしてVのオブジェクトにサイズの概念を与えることでV-カテゴリーのマグニチュードが定義できることを示します [p.67, p.76, p.91]。
■ Part 3: Lawvereのenriched カテゴリー論
1973年のLawvere論文「Metric Spaces, Generalized Logic and Closed Category」を通じて、enriched カテゴリー論のアナロジーが距離空間の理論を再構成できることを示します。距離の三角不等式と射の合成則という二つの式の構造的類似 [p.111] から出発し、従来の距離空間公理から対称性・非退化性・有界性を排除した「一般化された距離空間」に到達します [p.124, p.125]。
ページのナビゲート