米田の補題とはなんですか？

A. 米田の補題は、小さなhom集合をもつ圏 について、共変あるいは反変hom関手 から集合値関手 への自然変換と、値となる集合 の要素との間に一対一対応が存在するという定理です。

参考URL:https://ja.wikipedia.org/wiki/%E7%B1%B3%E7%94%B0%E3%81%AE%E8%A3%9C%E9%A1%8C