米田の補題

米田の補題（よねだのほだい、英: Yoneda lemma）とは、局所小圏 C について、共変あるいは反変hom関手 hom(A , _), hom(_, A) から集合値関手 F への自然変換と、値となる集合 F(A) の要素との間に一対一対応が存在するという定理である。米田の補題は、普遍性という概念の根幹に関わる重要な補題であり、また、圏論において「間違いなく最も重要な結果である」「もしかしたら最も利用されているただ1つの結果かもしれない」と言われている。