nLab
(2,1)site
Context
$(\infty,1)$Topos Theory
(∞,1)topos theory
Background
Definitions

elementary (∞,1)topos

(∞,1)site

reflective sub(∞,1)category

(∞,1)category of (∞,1)sheaves

(∞,1)topos

(n,1)topos, ntopos

(∞,1)quasitopos

(∞,2)topos

(∞,n)topos
Characterization
Morphisms
Extra stuff, structure and property

hypercomplete (∞,1)topos

over(∞,1)topos

nlocalic (∞,1)topos

locally nconnected (n,1)topos

structured (∞,1)topos

locally ∞connected (∞,1)topos, ∞connected (∞,1)topos

local (∞,1)topos

cohesive (∞,1)topos
Models
Constructions
structures in a cohesive (∞,1)topos
Contents
Definition
A $(2,1)$site is an (∞,1)site. whose underlying (∞,1)category is a (2,1)category. Equivalently, it is a 2site whose underlying 2category 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)$site is an 2localic (∞,1)topos.
Revised on September 16, 2012 00:35:23
by
Urs Schreiber
(89.204.138.151)