(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
As for ordinary sheafification, -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.
An -presheaf can be -sheafified by
applying the plus-construction on presheaves times (see Lurie, section 6.5.3)
applying a single “hypercover-plus-construction” (see DHI, theorem 7.6)
(∞,1)-sheafification / ∞-stackification
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.