homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
n-category = (n,n)-category
n-groupoid = (n,0)-category
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.