nLab Gray-groupoid


Higher category theory

higher category theory

Basic concepts

Basic theorems





Universal constructions

Extra properties and structure

1-categorical presentations

A Gray-Groupoid is a semistrict algebraic model for a 3-groupoid:

it is a Gray-category – a semistrict 3-category – in which every k-morphism is invertible.

Gray-groupoids are related to 2-crossed complexes and 2-crossed modules as strict 2-groupoids are related to crossed complexes.

A Gray groupoid with a single object is the delooping of a Gray group.

Last revised on July 22, 2010 at 15:57:34. See the history of this page for a list of all contributions to it.