On the homotopy theory of $n$-types

摘要

We achieve a classification of $n$-types of simplicial presheaves in terms of $(n-1)$-types of presheaves of simplicial groupoids. This can be viewed as a description of the homotopy theory of higher stacks. As a special case we obtain a good homotopy theory of (weak) higher groupoids.