loop space

《Algebraic Topology》 · 第 89 页 · Section 4.1

For a pointed space \((Y,y)\), the loop space is \(\Omega Y=\{w\in Y^I\mid w(0)=w(1)=y\}\), with the subspace topology from the path space.