自己完結と体系性を重視した圏論入門のための資料
https://otamusan.github.io/CategoryTheoryIntro/CategoryTheoryIntro.pdf
| 章 | 名前 | 完成度 | 備考 |
|---|---|---|---|
| 1 | はじめに | △ | 加筆予定 |
| 2 | 圏と公理 | ◯ | |
| 3 | 圏論の基礎概念 | ◯ | |
| 4 | 普遍性 | ◯ | |
| 5 | 集合の圏 | ◯ | |
| 6 | 関手 | ◯ | |
| 7 | 自然変換 | △ | エンド、関手圏における積、終対象を加筆予定、米田の補題が入る可能性あり |
| 8 | 極限 | × | 先に随伴関手を書く必要が出たため用意だけ行なった |
| 9 | 随伴関手 | × | 随伴関手の定義だけ |