TY - RPRT TI - Batanin higher groupoids and homotopy types AU - Denis-Charles Cisinski PY - 2006 UR - https://arxiv.org/abs/math/0604442 ID - math/0604442 ER -