Principal ∞-Bundles

We consider a generalization of principal bundles and gerbes following the paper by Thomas Nikolaus, Urs Schreiber and Danny Stevenson.