nLab
(infinity,1)-sheafification

Context

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

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

structures in a cohesive (∞,1)-topos

Contents

Idea

As for ordinary sheafification, (,1)(\infty,1)-sheafification is the left exact left adjoint (∞,1)-functor to the inclusion of (∞,1)-sheaves into (∞,1)-presheaves.

For more details see (∞,1)-category of (∞,1)-sheaves.

Properties

An (n,1)(n,1)-presheaf can be (n,1)(n,1)-sheafified by

References

The iterated plus-construction is mentioned in section 6.5.3 of

The “hypercover-plus construction” is discussed around theorem 7.6 of

Last revised on May 2, 2012 at 17:23:47. See the history of this page for a list of all contributions to it.