Equivariant Principal ∞-Bundles

Principal bundles and their associated fiber bundles famously play a foundational role in both algebraic and differential topology, as well as in fundamental and solid-state physics.

More recently, their equivariant and higher homotopy enhancements (gerbes) have been crucial in generalized cohomology theory and for the