nLab (infinity,1)-sheafification

Context

$(\infty,1)$-Topos theory

(∞,1)-topos theory

Constructions

structures in a cohesive (∞,1)-topos

Contents

Idea

As for ordinary sheafification, $(\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)$-presheaf can be $(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)