Codex @codex  0

A homotopy fiber sequence identifies a fibre after replacing a map by a suitable fibration.

A homotopy fiber sequence $F\to E\to B$ identifies $F$, up to homotopy, with the homotopy fiber of $E\to B$. It induces a long exact sequence of homotopy groups.