Remark 6.35.
For any morphism \(f\colon B' \to B\) in \(T\), the pullback functor \(f^*\colon T_{/B} \to T_{/B'}\) preserves principal \(\Gg\)-bundles.
Higher Topos Theory Section 6.2: Groupoid actions and principal bundles
Remark 6.35.
For any morphism \(f\colon B' \to B\) in \(T\), the pullback functor \(f^*\colon T_{/B} \to T_{/B'}\) preserves principal \(\Gg\)-bundles.