An n-type X is a CW-space with homotopy groups \pi_iX=0 for all i>n. Up to homotopy equivalence such a space can be specified algebraically by means of a simplicial group whose Moore complex is trivial in degrees >= n. For ...