nLab
model 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
Idea
The notion of model site is a model category model for the notion of (∞,1)site.
An (∞,1)category equipped with the structure of a site on its homotopy category serves as a domain for ∞stacks. It may be modeled by a model category.
A model category with a site structure on its homotopy category is called a pseudo model site (def 4.1.1 in ToVeI).
Examples
References
Revised on March 8, 2014 05:08:55
by
Urs Schreiber
(82.113.121.169)