# nLab sheaf of n-types

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 .

Revised on September 12, 2009 20:44:32 by Toby Bartels (71.104.230.172)