 Path-loop fibration

The evaluation map from the based path space gives a fiber sequenceSince $PX$ is contractible, it relates invariants of $X$ to those of its loop space.