nLab
(2,1)-site

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

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.

Revised on September 16, 2012 00:35:23 by Urs Schreiber (89.204.138.151)