Remark 9.2.8. Since \(\pi \colon P \to B\) is locally trivial, hence locally a Serre fibration, it follows from Theorem 2.3.13 that every principal bundle is a Serre fibration. In particular, the functor \(\Pi _{\infty }\) preserves pullbacks along principal bundles by Proposition 2.3.19.
Generated from the authoritative LaTeX source.