About: 米田の補題

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