On the homotopy theory of n-types - Georg Biedermann (2006)