structures in a cohesive (∞,1)-topos
A topological localization of an (∞,1)-category of (∞,1)-presheaves is precisely a localization at Cech covers for a given Grothendieck topology on , yielding the corresponding (∞,1)-topos of (∞,1)-sheaves.
and in fact equivalence classes of such topological localizations are in bijection with Grothendieck topologies on .
Recall that a reflective sub-(∞,1)-category is obtained by localizing at a collection of morphisms of .
The class of all morphisms of that the left adjoint sends to equivalences is the strongly saturated class of morphisms generated by . By the recognition principle for exact localizations, the functor is exact if and only if is stable under the formation of pullbacks.
We now define such localizations where the collection consists of monomorphisms .
exhibits as a direct summand of .
This is HTT, p. 460
The standard example to keep in mind is that of a Cech nerve. In fact, as the propositions below will imply, this is for the purposes of localizations of an (∞,1)-category of (∞,1)-presheaves the only kind of example.
which we may regard as a simplicial presheaf and hence as an object of .
Then for any other manifold, we have that
is the ∞-groupoid whose
objects are maps that factor through one of the ;
there is a unique morphism between two such maps precisely if they factor through a double intersection ;
and so on.
In the homtopy category of ∞-groupoids, this is equivalent to the 0-groupoid/set of those maps that factor through one of the . Notice that this constitutes the sieve generated by the covering family . This is a subset of the 0-groupoid/set , hence a direct summand.
Let be a presentable (∞,1)-category.
A strongly saturated class of morphisms is called topological if
there is a subclass of monomorphisms that generates ;
under pullback in elements in pull back to elements in .
is called a topological localization if the class of morphisms that sends to equivalences is topological.
This is HTT, def. 18.104.22.168
Let be an (∞,1)-site.
Let be the collection of all monomorphisms to objects (under Yoneda embedding) that correspond to covering sieves in . Say an object in the (∞,1)-category of (∞,1)-presheaves on is an (∞,1)-sheaf if it is an -local object (i.e. if it satisfies descent along all morphisms coming from covering sieves).
for the reflective sub-(∞,1)-category on these -sheaves.
This is HTT, def. 22.214.171.124
Let throughout be a locally presentable (∞,1)-category.
(topological localizations are exact)
Every topological localization is an exact localization in that the reflector preserves finite limits.
At Properties of exact localizations it is shown that a reflective localization is exact precisely if the class of morphisms that it inverts is stable under pullback. This is the case for topological localizations by definition.
(generation from a small set of morphisms)
This is HTT, prop. 126.96.36.199.
Every topological localization of is necessarily accessible and exact.
This is HTT, cor. 188.8.131.52
The following proposition asserts that for the construction of (n,1)-toposes the notion of topological localization is empty: if colimits commute with products, then already every localization is topological. Accordingly, also the notion of hypercompletion is relevant only for (∞,1)-toposes.
(localizations of presentable -categories are topological)
This is HTT, prop. 184.108.40.206.
Remark Notice in this context the statement found for instance in
that a simplicial presheaf that satisfies descent on all Cech covers already satisfies descent for all bounded hypercovers. If the simplicial presheaf is -truncated for some , then it won’t “see” -bounded hypercovers for large enough anyway, and hence it follows that truncated simplicial presheaves that satisfy Cech descent already satisfy hyperdescent.
This is in line with the above statement that for -toposes with finite there is no distinction between Cech descent and hyperdescent. The distinction becomes visible only for untruncated -presheaves.
sheaves form a topological localization
If is endowed with a Grothendieck topology, the inclusion
is a topological localization.
This is HTT, Prop. 220.127.116.11.
All topological localizations of arise this way:
There is a bijection between Grothendieck topologies on and equivalence classes of topological localizations of .
This is HTT, prop. 18.104.22.168.
Topological localizations are the topic of section 6.2, from def. 22.214.171.124 on, in