(∞,1)-category of (∞,1)-sheaves
Extra stuff, structure and property
locally n-connected (n,1)-topos
locally ∞-connected (∞,1)-topos, ∞-connected (∞,1)-topos
structures in a cohesive (∞,1)-topos
Enriched category theory
The notion of -site is the incarnation of the notion of (∞,1)-site when (∞,1)-categories are incarnated as simplicially enriched categories.
This appears as (ToënVezzosi, def. 3.1.1)
Relation to -sites
Because, as discussed at (∞,1)-site, that is equivalently an (∞,1)-category equipped with the structure of a site on its homotopy category of an (∞,1)-category.
Relation to -toposes
Revised on March 8, 2014 05:08:25
by Urs Schreiber