Principal \(\infty\)-bundles: presentations (Q496294): Difference between revisions

The authors study principal \(\infty\)-bundles in an \(\infty\)-topos. The following statements are formalized and proved: 1. Over a site with a terminal object, every \(\infty\)-group is presented by a presheaf of simplicial groups; 2. Over a cohesive site \(C\) and a \(C\)-acyclic presheaf \(G\) of simplicial groups, \(G\)-principal \(\infty\)-bundles are classified by hyper-Čech cohomology with coeficients in \(G\); 3. Over a site \(C\) with enough points, principal \(\infty\)-bundles are presented by ordinary simplicial bundles in sheaves over \(C\) satisfying a weakened notion of principality.