nLab (2,1)-sheafification

Contents

Context

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

(∞,1)-topos theory

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 April 16, 2023 at 13:56:13. See the history of this page for a list of all contributions to it.