ON CAT(N)-GROUPS AND HOMOTOPY TYPES

We give an algebraic proof of Loday's 'Classification theorem' for tru ncated homotopy types. In particular we give a precise construction of the homotopy cat(n)-group associated to a pointed topological space w hich is based on the use of the internal fundamental groupoid functor together with Illusie's 'total Dec'.