8
votes
0answers
93 views

Is the $\infty$-topos $Sh(X)$ hypercomplete whenever $X$ is a CW complex?

It can be shown (see Is every paracompact, Hausdorff, locally contractible space homotopy equivalent to a CW complex?) that if $X$ is a locally contractible paracompact Hausdorff space such that the ...
8
votes
1answer
328 views

Modern versions of Verdier's hypercovering theorem?

Let $\mathcal{C}$ be a small category equipped with a terminal object $1$ and a Grothendieck topology. (Assume $\mathcal{C}$ also has pullbacks, if it is more convenient.) The following is a ...
3
votes
0answers
132 views

What are the Čech-local equivalences of (simplicial pre)sheaves?

Let $\mathcal{C}$ be small category and let $J$ be a Grothendieck topology on $\mathcal{C}$. The Čech model structure on $[\mathcal{C}^\mathrm{op}, \mathbf{sSet}]$ is defined to be the left Bousfield ...
4
votes
1answer
287 views

Homotopy left-exactness of a left derived functor

Let $$ F: \mathcal{C} \leftrightarrows \mathcal{D} :G $$ be a Quillen adjunction between model categories. Consider the corresponding adjunction of total derived functors $$ \mathbb{L}F: ...
5
votes
2answers
307 views

Is the site of (smooth) manifolds hypercomplete?

By site of manifolds Man, I mean the category of manifolds (maybe submanifolds to obtain a small category) with continuous maps between them. A Grothendieck topology is given by open covers. Actually, ...
4
votes
0answers
160 views

Is there a local projective model structure on simplicial sheaves? What are its fibrant objects?

Consider a site S (I am mostly interested in hypercomplete sites, e.g., the site of smooth manifolds). The category of simplicial presheaves SPSh(S) on S can be equipped with the local projective ...
6
votes
1answer
191 views

FIltered colimits of truncated objects in $\infty$-topoi

The bare question: Let $\mathcal{C}$ be an $\infty$-topos, and let $\tau_{\leq 0}\mathcal{C}$ be the subcategory of 0-truncated objects (which is the nerve of an ordinary Grothendieck topos: see HTT ...
5
votes
2answers
299 views

Necessary conditions for cofibrancy in global projective model structure on simplicial presheaves

Consider the global projective model category of simplicial presheaves on some category (the category of smooth manifolds is particularly interesting to me). In Section 9.1 of Dugger's paper ...
19
votes
2answers
831 views

Homotopy groups of spheres in a $(\infty, 1)$-topos

Let $H$ be an $(\infty,1)$-topos (seen as a generalization of the homotopy category of spaces). You can define the suspension of an object $X$ as the (homotopy) pushout of $*\leftarrow X \to *$, ...