ここ最近、米田の補題に関連する記事を幾つか書いています。 07-06 大域米田の補題 07-11 関手・自然変換のカリー化 07-13 前層を特定対象で評価する関手の表現 07-20 反対圏と反変関手はややこしい 07-21 高階関手の計算： 米田と淡中の周辺 動機はなんなの…