nLab Gray group

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

A Gray-group is a semistrict version of a 3-group: it is a 3-group whose delooping is a one-object Gray groupoid.

Gray-groups are modeled by 2-crossed module in analogy to how strict 2-groups are modeled by crossed modules.

Last revised on February 26, 2013 at 08:48:57. See the history of this page for a list of all contributions to it.