Corollary 6.39.
For every groupoid object \(\Gg\) in \(T\) and every object \(B \in T\), the category \(\Bun_{\Gg}(B)\) is an anima.
Higher Topos Theory Section 6.2: Groupoid actions and principal bundles
Corollary 6.39.
For every groupoid object \(\Gg\) in \(T\) and every object \(B \in T\), the category \(\Bun_{\Gg}(B)\) is an anima.