The term principal connection is synonymous to connection on a principal bundle .
The most well known examples are affine connections.
Given a -representation and a -principal connection, it induces a connection on the corresponding -associated bundle.
| higher Atiyah groupoid: | standard higher Atiyah groupoid | higher Courant groupoid | groupoid version of quantomorphism n-group |
|---|---|---|---|
| coefficient for cohomology: | |||
| type of fiber ∞-bundle: | principal ∞-bundle | principal ∞-connection without top-degree connection form | principal ∞-connection |