(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
The hypercompletion (Lurie) or -completion (Rezk, ToënVezzosi) of an (∞,1)-topos of (∞,1)-sheaves is a further localization/(∞,1)-sheafification which corresponds to retaining only those (∞,1)-sheaves which satisfy descent with respect to all hypercovers.
An (∞,1)-topos of (∞,1)-sheaves is a hypercomplete (∞,1)-topos if every -connective morphism is an equivalence.
This may be read as saying that the Whitehead theorem is valid in the (∞,1)-topos.
Section 10 of
Section 6.5 of
Last revised on February 16, 2016 at 09:23:24. See the history of this page for a list of all contributions to it.