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.
Fixed a couple incorrect statements at hypercomplete (infinity,1)-topos:
Here’s a simple counterexample to “finite homotopy dimension implies hypercompleteness”:
Let be the big (∞,1)-topos on the site of topological spaces. Then has homotopy dimension but is not hypercomplete because it contains non-hypercomplete (∞,1)-topoi as essential retracts of its slices. More precisely, if is a topological space, the embedding is continuous and cocontinuous, so that we have an adjunction with fully faithful. In that situation, preserves -truncated morphisms, hence preserves -connective morphisms, hence preserves hypercomplete objects, hence preserves non-hypercomplete objects. Thus, for appropriate , and hence are not hypercomplete.
Remark 1 claimed that having enough points in the 1-topos sense implies having enough points in the ∞-sense. I replaced it with a counterexample from HTT.
Thanks for looking into this. But wait, the argument that you removed had just another “hypercomplete” implicit/missing.
The argument said that in the Jardine model structure it is true that when the underlying 1-topos has enough points, then the Jardine weak equivalences are equivalently the stalkwise weak equivalences. Since the Jardine model structure presents the hypercomplete -topos over the site, it does follow that this has enough points when the 1-topos does.
I added the remark that the hypercompletion has enough points.
Okay, thanks.
(yeah, that darn hypercompletion subtlety… ;-)
1 to 5 of 5