講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナー「カテゴリー論基礎」は、現代数学の根幹をなすカテゴリー理論（圏論）の基礎的概念を、丁寧かつ体系的に解説する講義です。カテゴリー理論は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]。
■ 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]。
ページのナビゲート