nLab Lie 3-group

Contents

Context

\infty-Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Related topics

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Contents

Definition

A Lie 3-group of 3-Lie group is a 3-truncated ∞-group in ?LieGrpd?.

From Lie 2-crossed module

A smooth 2-crossed module is a model for semistrict Lie 3-groups, Lie Gray groups.

References

Lie 3-groups coming from Lie 2-crossed modules and morphisms from a path 3-groupoid into their delooping 3-groupoid is discussed in

Last revised on June 3, 2014 at 07:22:24. See the history of this page for a list of all contributions to it.