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.