以前の日記のコメントにレスをつけながら、去年のPPLサマースクールで木下先生が話してた、掲題の内容を思い出しました。
以下順に列挙。詳しくは木下先生のサイトにある資料（こちら）を参照のこと。
- 普遍射
- 極限、余極限
- 随伴
- 米田の補題
- Kan拡大
- （初等）トポス
- 豊穣圏
- 高次元圏
- Lawvere theory, スケッチ
以前の日記のコメントにレスをつけながら、去年のPPLサマースクールで木下先生が話してた、掲題の内容を思い出しました。
以下順に列挙。詳しくは木下先生のサイトにある資料（こちら）を参照のこと。