什么是米田引理？

适用条件

• C 是一个范畴。
• X 是 C 中的一个对象。
• F : C^{op} $\to$ Set 是一个函子。

理解与推导

1. 识别函子 F 和对象 X。
2. 考虑可表示函子 Hom(-, X)。
3. 找到从 Hom(-, X) 到 F 的自然变换集合。
4. 得出 $F(X)$ 与该自然变换集合同构的结论。

例子

屏幕上的公式显示 $F(X) \cong$ [$\operatorname{Hom}$(-,X),F(-)]。

容易误解的地方

• 认为该引理仅适用于拓扑空间。
• 假设同构是在对象 X 和函子 F 之间。

观看对应讲解

继续追问

• 自然变换与米田引理中的态射有什么关系？
• 什么是富化米田引理？