The term *sheaf of $n$-types* is another word for an ∞-stack that has trivial homotopy groups above degree $n$.

Under the homotopy hypothesis a homotopy n-type is just an ∞-groupoid that has trivial homotopy groups above degree $n \in \mathbb{N}$. Hence a “sheaf of $n$-types” is just a special case of a “sheaf of $\infty$-groupoid”s which is usually called an *$n$-stack* .

Last revised on September 12, 2009 at 20:44:32. See the history of this page for a list of all contributions to it.