米田引理 在範疇論中米田引理斷言一個對象 X displaystyle X 的性質由它所表示的函子 H o m  X    displaystyle mathrm Hom X 或 H o m    X  displaystyle mathrm Hom X 决定此引理得名于日本數學家暨計算機科學家米田信夫