nLab
Lie 3-group

Context

\infty-Lie theory

∞-Lie theory

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

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

Revised on June 3, 2014 07:22:24 by Urs Schreiber (89.204.155.45)