Synthical logo
Your space
Activity icon
Favorites icon
Account icon
From arXiv

On the homotopy theory of n-types

An n-truncated model structure on simplicial (pre-)sheaves is described having as weak equivalences maps that induce isomorphisms on certain homotopy sheaves only up to degree n. Starting from one of Jardine's intermediate model structures we construct such an n-type model structure via Bousfield-Friedlander localization and exhibit useful generating sets of trivial cofibrations. Injectively fibrant objects in these categories are called n-hyperstacks. The whole setup can consequently be viewed as a description of the homotopy theory of higher hyperstacks. More importantly, we construct analogous n-truncations on simplicial groupoids and prove a Quillen equivalence between these settings. We achieve a classification of n-types of simplicial presheaves in terms of (n-1)-types of presheaves of simplicial groupoids. Our classification holds for general n. Therefore this can also be viewed as the homotopy theory of (pre-)sheaves of (weak) higher groupoids.
Upvote icon
Published on April 24, 2006
Copy BibTeX
Cross iconSummary
There is no AI-powered summary yet, because we do not have a budget to generate summaries for all articles.
1. Buy subscription
We will thank you for helping thousands of people to save their time at the top of the generated summary.
If you buy our subscription, you will be able to summarize multiple articles.
Pay $8
≈10 summaries
Pay $32
≈60 summaries
2. Share on socials
If this article gets to top-5 in trends, we'll summarize it for free.
Copy link