nLab n-group

Contents

Context

Group Theory

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Definition

An nn-group is a group object internal to (n1)(n-1)-groupoids.

If it is deloopable, an nn-group GG is the hom-object G=Aut BG(*)G = Aut_{\mathbf{B}G}({*}) of an n-groupoid BG\mathbf{B}G with a single object *{*}.

If BG\mathbf{B}G is a strict n-groupoid, then the corresponding nn-group is called a strict nn-group. Strict nn-groups are equivalent to crossed complexes of groups, of length nn.

Under the homotopy hypothesis nn-groups correspond to pointed connected homotopy n-types.

Examples

See also

References

The homotopy theory of k-tuply groupal n-groupoids is discussed in

Last revised on June 9, 2022 at 16:57:38. See the history of this page for a list of all contributions to it.