1. 演習問題
問題1: 恒等射の一意性
圏 において、各対象 に対する恒等射 が一意であることを示せ。
ヒント: 恒等射の定義 を利用せよ。
問題2: 普遍性の記述
積 の普遍性を、英語で論理的に記述せよ。
ヒント: の形式を用いよ。
問題3: 関手の定義
関手 が構造を保つことを、数学英語で定義せよ。
ヒント: “preserves composition and identities” を用いよ。
2. 解答例（一部）
問題2の解答例:
“An object is a product of and if and only if there exist morphisms and such that for any object and any pair of morphisms and , there exists a unique morphism satisfying and .”
今後のロードマップ
この第5部（圏論への拡張）を完了した後、以下の方向性が考えられます。
- 関手と自然変換: 圏論の第二の核心概念。
- アダージョの補題と表現可能関手: 普遍性の応用。
- トポス理論: 論理と集合の一般化。
- 最終章: 圏論がもたらす数学観の変容。
この構成により、論理と集合の基礎から始まり、圏論という抽象的な言語へと至る、一貫した「数学のことば」の学習パスが完成します。