nLab
(2,1)-sheafification

Context

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

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 CC is

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

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

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