中，米田引理断言一个对象formula_1的性质由它所表示的函子formula_2或formula_3决定。此引理得名于日本数学家暨计算机科学家米田信夫。
陈述.设formula_4为一范畴，定义两个函子范畴如下：并定义两个函子：其中formula_9而formula_10。米田引理的抽象陈述如下：米田引理。有自然的同构这两个同构对所有变元formula_13都满足函子性。对任一对象formula_14，在上述同构中分别取formula_15，便得到米田引理最常