nLab higher Courant groupoid

Idea

The Lie integration of higher Courant Lie algebroids.

Related concepts

higher Atiyah groupoid

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

slice-automorphism ∞-groups in higher prequantum geometry

cohesive ∞-groups:	Heisenberg ∞-group	$\hookrightarrow$	quantomorphism ∞-group	$\hookrightarrow$	∞-bisections of higher Courant groupoid	$\hookrightarrow$	∞-bisections of higher Atiyah groupoid
L-∞ algebras:	Heisenberg L-∞ algebra	$\hookrightarrow$	Poisson L-∞ algebra	$\hookrightarrow$	Courant L-∞ algebra	$\hookrightarrow$	twisted vector fields