Loop space (source code)

= Loop space
{title2=$\Omega X$}
{wiki}

The loop space $\Omega X$ is the space of based loops in $X$. It is the homotopy fiber of the inclusion of the base point into $X$.