nLab hypercompletion

Contents

Context

$(\infty,1)$-Topos Theory

(∞,1)-topos theory

Constructions

structures in a cohesive (∞,1)-topos

Contents

Idea

The hypercompletion (Lurie) or $t$-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.

Definition

Definition

An (∞,1)-topos of (∞,1)-sheaves is a hypercomplete (∞,1)-topos if every $\infty$-connective morphism is an equivalence.

Remark

This may be read as saying that the Whitehead theorem is valid in the (∞,1)-topos.

References

Section 10 of

Section 6.5 of

Last revised on February 16, 2016 at 04:23:24. See the history of this page for a list of all contributions to it.