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