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.

Revised on February 26, 2013 08:48:57 by David Roberts (192.43.227.18)