Homotopy fiber sequence
= Homotopy fiber sequence
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>.