All Questions

Let $Sh^\infty(\mathsf{Man})$ denote the $\infty$-category of sheaves of $\infty$-groupoids over the site $\mathsf{Man}$ of smooth manifolds (if you prefer, that's the model category of simplicial ...

I have been reading these great notes by Charles Rezk, and one thing that has been bothering me is the join construction. To solve lifting problems in quasicategory theory we use the Leibniz ...

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 ...

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 “...