米田引理維基百科,自由的 encyclopedia 在範疇論中,米田引理斷言一個對象 X {\displaystyle X} 的性質由它所表示的函子 H o m ( X , − ) {\displaystyle \mathrm {Hom} (X,-)} 或 H o m ( − , X ) {\displaystyle \mathrm {Hom} (-,X)} 决定。此引理得名于日本數學家暨計算機科學家米田信夫。
在範疇論中,米田引理斷言一個對象 X {\displaystyle X} 的性質由它所表示的函子 H o m ( X , − ) {\displaystyle \mathrm {Hom} (X,-)} 或 H o m ( − , X ) {\displaystyle \mathrm {Hom} (-,X)} 决定。此引理得名于日本數學家暨計算機科學家米田信夫。