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

Revised on May 2, 2012 17:23:47 by Urs Schreiber (82.113.99.15)