米田引理

在範疇論中 ， 米田引理斷言一個對象的性質由它所表示的函子或決定 。 此引理得名於日本數學家暨計算機科學家米田信夫 。