nLab
sheaf of n-types

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

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

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