Path-loop fibration
= Path-loop fibration
The evaluation map from the based path space gives a fiber sequence
$$
\Omega X\longrightarrow PX\longrightarrow X.
$$
Since $PX$ is contractible, it relates invariants of $X$ to those of its <loop space>.