2015-07-15 米田の補題 math 圏 の対象 と前層 に対し,集合 の元 と自然変換 の間の1対1対応が, によって与えられる.このとき, これが逆の対応を与える. は下の図式の可換性より従う.