nLab (2,1)-sheafification

Idea

The higher analogue of sheafification.

A stack/2-sheaf 2-topos on a site/2-site $C$ is

$$St(C) \stackrel{\overset{L}{\leftarrow}}{\hookrightarrow} PSt(C) \,.$$

The left adjoint $L$ to the inclusion of stacks into all 2-functors on $C^{op}$ is stackification .

Related concepts

• sheafification

• $(2,1)$-sheafification

• (∞,1)-sheafification