nLab (2,1)-site

Contents

Context

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

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

Contents

Definition

A (2,1)(2,1)-site is an (∞,1)-site. whose underlying (∞,1)-category is a (2,1)-category. Equivalently, it is a 2-site whose underlying 2-category is a (2,1)-category.

Properties

The (2,1)-category of (2,1)-sheaves on a (2,1)-site is a Grothendieck-(2,1)-topos.

The (∞,1)-category of (∞,1)-sheaves on a (2,1)(2,1)-site is an 2-localic (∞,1)-topos.

Last revised on September 16, 2012 at 00:35:23. See the history of this page for a list of all contributions to it.