米田の補題
米田の補題（よねだのほだい、）とは、小さなhom集合をもつ圏 について、共変あるいは反変hom関手 , から集合値関手 への自然変換と、値となる集合 の要素との間に一対一対応が存在するという定理である。「米田の補題」という名称は、米田信夫に因んでソーンダース・マックレーンにより名付けられた。その主張は、マックレーンによれば、米田の仕事に早くから現れていたという。ただし、エミリー・リールによれば、この補題が初めて (明示的に) 論文に登場したのは である。
米田の補題は、普遍性という概念の根幹に関わる重要な補題であり、また、圏論において「間違いなく最も重要な結果である」「もしかしたら最も利用されているただ1つの結果かもしれない」と言われている。