Path-loop fibration Created 2026-09-24 Updated 2026-09-24
The evaluation map from the based path space gives a fiber sequence
Since is contractible, it relates invariants of to those of its loop space.