The term *principal connection* is synonymous to *connection (see there for more) on a principal bundle*.

higher Atiyah groupoid: | standard higher Atiyah groupoid | higher Courant groupoid | groupoid version of quantomorphism n-group |
---|---|---|---|

coefficient for cohomology: | $\mathbf{B}\mathbb{G}$ | $\mathbf{B}(\mathbf{B}\mathbb{G}_{\mathrm{conn}})$ | $\mathbf{B} \mathbb{G}_{conn}$ |

type of fiber ∞-bundle: | principal ∞-bundle | principal ∞-connection without top-degree connection form | principal ∞-connection |

Last revised on August 27, 2020 at 11:16:05. See the history of this page for a list of all contributions to it.