Batanin higher groupoids and homotopy types

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

[1]  M. Batanin.  On the Penon method of weakening algebraic structures , 2002 .

[2]  W. Dwyer,et al.  Homotopy Limit Functors on Model Categories and Homotopical Categories , 2005 .

[3]  A. K. Bousfield,et al.  Homotopy theory of Γ-spaces, spectra, and bisimplicial sets , 1978 .

[4]  Daniel Dugger.  Universal Homotopy Theories , 2000 .

[5]  Peter Gabriel,et al.  Calculus of Fractions and Homotopy Theory , 1967 .

[6]  Clemens Berger,et al.  A Cellular Nerve for Higher Categories , 2002 .

[7]  Tom Leinster.  Higher Operads, Higher Categories , 2003 .

[8]  Philip S. Hirschhorn.  Model categories and their localizations , 2003 .

[9]  D. M. Kan,et al.  Homotopy Limits, Completions and Localizations , 1987 .

[10]  Alan Weinstein,et al.  Progress in mathematics , 1979 .

[11]  Ieke Moerdijk,et al.  Algebraic classification of equivariant homotopy 2-types, I , 1993 .

[12]  Tom Leinster.  Operads in Higher-Dimensional Category Theory , 2000 .

[13]  Combinatorial Model Categories Have Presentations , 2000, math/0007068.

[14]  Double loop spaces, braided monoidal categories and algebraic 3-type of space , 2007 .

[15]  Carlos Simpson.  Homotopy types of strict 3-groupoids , 1998 .

[16]  R. Street,et al.  The universal property of the multitude of trees , 2000 .

[17]  Denis-Charles Cisinski,et al.  Les Pr'efaisceaux comme mod`eles des types d''homotopie , 2002 .

[18]  Ross Street,et al.  The petit topos of globular sets , 2000 .

[19]  Michael Batanin,et al.  Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories☆ , 1998 .

[20]  Homotopy theory of diagrams , 2001, math/0110316.

[21]  Ross Street,et al.  The algebra of oriented simplexes , 1987 .