nLab (2,1)-sheafification

Contents

Context

$(\infty,1)$-Topos Theory

(∞,1)-topos theory

Constructions

structures in a cohesive (∞,1)-topos

Contents

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 .

Last revised on January 26, 2011 at 16:35:03. See the history of this page for a list of all contributions to it.