Just as cat-1-groups (i) give models for connected homotopy 2-types, (ii) are equivalent to crossed modules, or 2-groups,and are an algebraic encoding of internal categories within the category Grp of groups, so it is not surprising that higher dimensional analogues encode higher order homotopy information. This gives one the abstract definition:
Regarding a group as a groupoid with a single object, this is the same as an (n+1)-fold groupoid in which in one direction all morphisms are endomorphisms and there is corresponding notion of cat-groupoid.
As with the cases and 2, there is a neat purely group theoretic definition of these objects.
and, for all ,
Morphisms of cat-groups are the obvious things, morphisms of the groups compatible with the endomorphisms.
A cat-group is thus a group with independent cat-group structures on it.
For simplicity, we describe in a special case, namely when the -cube of spaces arises from a pointed -ad by the rule: and for properly contained in , , with maps the inclusions. Let be the space of maps which take the faces of in the th direction into . Notice that has the structure of compositions derived from the gluing of cubes in each direction. Let be the constant map at the base point. Then is certainly a group. Gilbert, 1988, identifies with Loday’s , so that Loday’s results, obtained by methods of simplicial spaces, show that becomes a cat-group. It may also be shown that the extra groupoid structures are inherited from the compositions on . It is this cat-group which is written and is called the fundamental cat-group of the -ad.
See also crossed n-cube for an alternative description.
Tim Is the first statement above correct? -groups are examples of strict (n+1)-fold categories, not strict n=categories or am I missing something? (28-09-2010<- corrected)
It is not so clear how to construct a homotopical functor from -cubes of non pointed spaces, and what should be the receiving category.
The original proof of Loday’s result is to be found in
This paper also uses the term n-cat-group, but later use favours the term cat-group to make it clearer that these were an n-fold category internal to Grp. There are one or two gaps in that proof and various patches and complete proofs were then given. The main one is in
A proof using -groups and a neat detailed analysis of multisimplicial groups and related topics was given in
Porter (1993) gave a simple proof in terms of crossed n-cubes using as little high-powered simplicial techniques as possible in