Algebraic Topology
《Algebraic Topology》 · 第 412 页 · Section 4.3
A fibration \(F\to E\to B\) is called principal if it fits into a commutative diagram over a fibration sequence whose vertical maps are weak homotopy equivalences.