For the automorphism 2-group of a group , -principal bundles are equivalent to -gerbe (see gerbe (general idea) for more background.). An -nonabelian bundle gerbe is a model for the total space of an -principal 2-bundle.
An expository introduction to the concepts is at infinity-Chern-Weil theory introduction.
For a topological of Lie 2-group, a topological or smooth -principal 2-bundle is a topological or Lie groupoid that arises as the homotopy fiber of a cocycle in ETop∞Grpd or Smooth∞Grpd, respectively, i.e. as an (∞,1)-pullback of the form
where is the Cech nerve of a good open cover and where is the universal principal 2-bundle (RS). This says that principal 2-bundles are classified by Cech cohomology with coefficients in deloopings of (sheaves of) 2-groups.
for the corresponding geometric realization of simplicial topological spaces. Then is a classifying space for topological -principal 2-bundles: for a (sufficiently nice…) topological space we have that the nonabelian Cech cohomology on with coefficients in is naturally in bijections with the set of homotopy classes of continuous functions
Let be a Lie 2-group with the property that is a smooth manifold and the projection is a submersion. Then equivalence classes of smooth -principal bundles on a smooth manifold are in natural bijection with equivalence classes of topological -principal 2-bundles (regarding as a topological 2-group)
This appears as (NikolausWaldorf, prop. 4.1).
to a cocycle
where is the path groupoid of .
Similarly, 2-bundles may be equipped with connections by refining their cocycles to cocycles out of a higher path groupoid. Details on this are at differential cohomology in a cohesive topos.
The general description of higher bundles internal to generalized spaces modeled as ∞-stacks is discussed in
The above situation of ordinary -principal bundles is section 2.1 Torsors for sheaves of groups in that article. The generalization to principal 2-bundles and principal ∞-bundles is then briefly indicated in section 2.2, Diagrams and torsors .
The point is that in the (∞,1)-topos of topological or smooth or whatever ∞-groupoids (i.e. in the (∞,1)-category of ∞-stacks on our category of test spaces) the above situation generalizes straightforwardly:
This may be modeled by the pullback of the universal principal 2-bundle as described in
As ordinary principal bundles, the gadgets obtained this way may be described from various points of view, using anafunctor cocycles in nonabelian cohomology, or the corresponding total spaces being 2-torsors equipped with 2-group action, or certain variants of this.
Maybe the earliest explicit description of a principal -bundle using a geometric definition of higher category is
This theory of higher bundles and gerbes was made to look manifestly like a systematic categorification of the familiar description of ordinary principal bundles in terms of cocycles and local trivializations in
An abridged version is
The first article in the differential-geometric context was
One should notice that if one uses categories internal to diffeological spaces, then these are (under their nerve) in particular simplicial presheaves, and that the anafunctors used as morphisms between these simplicial presheaves represent precisely the morphisms the corresponding (∞,1)-category of (∞,1)-sheaves using the model structure on simplicial presheaves or, more lightweight, the structure of a Brown category of fibrant objects on -groupoid valued sheaves.
The relation of such 2-categorical constructions of 2-bundles to the one of simplicially modeled -bundles by Glenn was established in
Still more explicit descriptions of these constructions are given in
This is for instance in
Classification results of principal 2-bundles are in
An extensive discussion of various models of principal 2-bundles is in
For a comprehensive account in the general context of principal infinity-bundles see
For more references see at principal 2-connection.