Symmetries and Higher-Form Connections in Derived Differential Geometry

Severin Bunk, Lukas Müller, Joost Nuiten +1

We introduce a general definition of higher-form connections on principal $\infty$-bundles in differential geometry. This is achieved by developing the formal differentiation and i…