Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
It seems that only now did I come across
So I went to record it in the References-section at simplicial sheaf, only to notice that this entry had never existed as a decent entry. I edited just a little for the moment.
By the way, some geometers also say a simplicial sheaf for an appropriate concept of a sheaf over simplicial space or simplicial site. Is this very much against the terminology here or we should take this into consideration to mention. For example, one takes the Borel construction and simplicial sheaves over it. If the structure morphisms between $n$-th degree sheaf component and the pullback of $(n-1)$-st degree sheaf component are all iso, then we get precisely the equivariant sheaves (cf. the book of Bernstein/Lunts, smth around page 34 in my memory) as noted by Deligne as an elementary fact in his Hodge theory paper but in different terminology.
The page simplicial sheaf said
The standard model structure on simplicial presheaves restricts to the standard model structure on simplicial sheaves, this restriction is a Quillen equivalence and equipped with this model structure $SSh(C)$ is one of the standard models for ∞-stack (∞,1)-toposes for the site $C$.
I changed it to refer to the Jardine-local model structure and say that this model structure presents only the hypercomplete $(\infty,1)$-topos, which is what the page model structure on simplicial sheaves says.
Thanks! I think the entry simplicial sheaf was a little orphaned…
Added:
Historically, Joyal constructed his model structure on simplicial sheaves first and Jardine later constructed his model structure on simplicial presheaves.
The original construction due to Joyal in 1984 is in
1 to 5 of 5