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)