TY - RPRT TI - On the homotopy theory of n-types AU - Georg Biedermann PY - 2006 UR - https://arxiv.org/abs/math/0604514 ID - math/0604514 ER -