nLab
Gray-groupoid

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-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.

Revised on July 22, 2010 15:57:34 by Urs Schreiber (87.212.203.135)