Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
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:
A $cat^n$-group is a strict n-fold category internal to Grp.
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$^n$-groupoid.
As with the cases $n=1$ and 2, there is a neat purely group theoretic definition of these objects.
A cat$^n$-group is a group $G$ together with $2n$ endomorphisms $s_i, t_i, (1 \le i \le n)$ such that
and, for all $i$,
Morphisms of cat$^n$-groups are the obvious things, morphisms of the groups compatible with the endomorphisms.
A cat$^{n}$-group is thus a group with $n$ independent cat$^{1}$-group structures on it.
A $cat^0$-group is a group.
A cat-1-group is a strict 2-group, viewed in a slightly different way.
For simplicity, we describe $\Pi X_{*}$ in a special case, namely when the $n$-cube of spaces $X_{*}$ arises from a pointed $(n + 1)$-ad $(X;X_1,\ldots ,X_n)$ by the rule: $X_{ \langle n \rangle} = X$ and for $A$ properly contained in $\langle n \rangle$, $X_A = \bigcap _{i \not\in A} X_i$, with maps the inclusions. Let $\Phi$ be the space of maps $I^n \to X$ which take the faces of $I^n$ in the $i$th direction into $X_i$. Notice that $\Phi$ has the structure of $n$ compositions derived from the gluing of cubes in each direction. Let $\bullet \in \Phi$ be the constant map at the base point. Then $G = \pi_1(\Phi ,\bullet )$ is certainly a group. Gilbert, 1988, identifies $G$ with Loday’s $\Pi X_{*}$, so that Loday’s results, obtained by methods of simplicial spaces, show that $G$ becomes a cat$^n$-group. It may also be shown that the extra groupoid structures are inherited from the compositions on $\Phi$. It is this cat$^n$-group which is written $\Pi X_*$ and is called the fundamental cat$^n$-group of the $(n + 1)$-ad.
See also crossed n-cube for an alternative description.
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$^n$-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 $cat^n$-groups and a neat detailed analysis of multisimplicial groups and related topics was given in
Appl. Alg. 86 (1993) 135-154 [doi:10.1016/0022-4049(93)90099-F]
A simple proof in terms of crossed n-cubes using as little high-powered simplicial techniques as possible:
Last revised on January 8, 2024 at 07:14:23. See the history of this page for a list of all contributions to it.