nLab (2,1)-sheafification

Contents

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 .

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