Batanin higher groupoids and homotopy types
Algebraic Topology
2008-01-10 v1 Category Theory
Abstract
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.
Cite
@article{arxiv.math/0604442,
title = {Batanin higher groupoids and homotopy types},
author = {Denis-Charles Cisinski},
journal= {arXiv preprint arXiv:math/0604442},
year = {2008}
}
Comments
Notes from a lecture at the Streetfest