Batanin higher groupoids and homotopy types
Résumé
We prove that any homotopy type can be recovered canonically from its associated weak ω-groupoid. This implies that the homotopy category of CW-complexes can be embedded in the homotopy category of Batanin's weak higher groupoids.