The term sheaf of -types is another word for an ∞-stack that has trivial homotopy groups above degree .
Under the homotopy hypothesis a homotopy n-type is just an ∞-groupoid that has trivial homotopy groups above degree . Hence a “sheaf of -types” is just a special case of a “sheaf of -groupoid”s which is usually called an -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.