メモです。 2020年の年末くらいに考えていた「淡中の補題の 単位元の普遍性を用いた別証明」の解説です。 [定理](米田の補題) を局所小圏、を関手、を対象とせよ。 このとき、集合としての同型 がある。[略証] この同型はによって与えられ、 これの逆はによ…