nLab (2,1)-sheafification

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 .

Revised on January 26, 2011 16:35:03 by Urs Schreiber (89.204.153.99)