nLab hypercompletion

Contents

Context

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

Contents

Idea

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

Examples

References

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.