Path-loop fibration (source code)

= 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>.