你想弄懂什么？

拓扑空间 X 的路径空间是从区间到 X 的映射集合。至关重要的是，它不仅仅是一个集合；它本身就是一个拓扑空间，带有自己的拓扑。

适用条件：环境上下文是代数拓扑。；X 是一个拓扑空间。

拓扑空间 X 的路径空间是从区间到 X 的映射集合。至关重要的是，它不仅仅是一个集合；它本身就是一个拓扑空间，带有自己的拓扑。

适用条件：环境上下文是代数拓扑。；X 是一个拓扑空间。

富化米田引理将标准米田引理推广到富化范畴，其中态射是幺半范畴的元素，而不仅仅是集合。它指出，从 Hom_X 到 F 的富化自然变换对象同构于富化范畴中的对象 $F(X)$。

适用条件：设置是富化范畴论。；Hom_X 表示 X 处的可表示函子。；F 是同一富化上下文中的函子。

富化米田引理将标准米田引理推广到富化范畴，其中态射是幺半范畴的元素，而不仅仅是集合。它指出，从 Hom_X 到 F 的富化自然变换对象同构于富化范畴中的对象 $F(X)$。

适用条件：设置是富化范畴论。；Hom_X 表示 X 处的可表示函子。；F 是同一富化上下文中的函子。