nLab
model site

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

(∞,1)-Topos Theory

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

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 October 15, 2012 17:04:31 by Urs Schreiber (82.113.99.246)
Edit | Back in time (5 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: hypercover, stack, site, infinity-stack, (infinity,1)-category, BrownAHT, simplicial presheaf, model structure on simplicial presheaves, model structure on simplicial sheaves, Postnikov system, Higher Topos Theory, (infinity,1)-category of (infinity,1)-sheaves, (infinity,1)-presheaf, (infinity,1)-topos, infinity-stackification, abelian sheaf cohomology, cohomology, (infinity,1)-sheaf, geometric infinity-function theory, derived stack, hypercompletion, (infinity,1)-category of (infinity,1)-presheaves, monoidal (infinity,1)-category, (infinity,1)-sheafification, constant infinity-stack, structured (infinity,1)-topos, motivation for sheaves, cohomology and higher stacks, perfect infinity-stack, gerbe, local model structure on simplicial presheaves, Eilenberg-Mac Lane object, Sweedler coring, model structure on sSet-enriched presheaves, presentations of (infinity,1)-sheaf (infinity,1)-toposes, cup product, geometry (for structured (infinity,1)-toposes), universal colimit, higher topos theory, (sub)object classifier in an (infinity,1)-topos, (infinity,1)-topos - contents, n-localic (infinity,1)-topos, Brown representability theorem, representable morphism of stacks, homotopy groups in an (infinity,1)-topos, Whitehead theorem, hypercomplete (infinity,1)-topos, categorical homotopy groups in an (infinity,1)-topos, schematic homotopy type, quasicoherent infinity-stack, sSet-site, model site, constant sheaf, locally constant infinity-stack, constant stack, sub-(infinity,1)-category, (n,1)-topos, Postnikov tower in an (infinity,1)-category, (infinity,1)-site, topological localization, shape of an (infinity,1)-topos, internal logic of an (infinity,1)-topos, Whitehead tower in an (infinity,1)-topos, n-connected object of an (infinity,1)-topos, hypercomplete object, geometric homotopy groups in an (infinity,1)-topos, 2-site, groupal model for universal principal infinity-bundles, (2,1)-sheafification, universal principal infinity-bundle, function algebras on infinity-stacks, (n-connected, n-truncated) factorization system, Lawvere distribution, split hypercover, coshape of an (infinity,1)-topos, (2,1)-presheaf, very large (infinity,1)-sheaf (infinity,1)-topos, derived geometry, (infinity,1)-quasitopos, (infinity,1)-geometric morphism, (infinity,1)Topos, concrete (infinity,1)-sheaf, locally representable structured (infinity,1)-topos, (infinity,1)-topos theory, homotopy dimension, over-(infinity,1)-topos, fundamental infinity-groupoid of a locally infinity-connected (infinity,1)-topos, fundamental infinity-groupoid in a locally infinity-connected (infinity,1)-topos, locally constant stack, Whitehead principle of nonabelian cohomology, integral transforms on sheaves, simplicial Stein site, (2,1)-sheaf, infinity-connected (infinity,1)-site, locally infinity-connected (infinity,1)-site, geometric infinity-stack, infinity-local site, cohomological dimension, strongly infinity-connected site, infinity-gerbe, totally infinity-connected site, (2,1)-site, (infinity,2)-sheaf, model structure for (2,1)-sheaves, separated (2,1)-presheaf, separated (infinity,1)-presheaf, homotopy type theory, n-topos, contents of contents, inertia orbifold, (infinity,2)-topos, base (infinity,1)-topos, moduli stack, (infinity,1)-semitopos, (n,1)-sheaf, category object in an (infinity,1)-category, elementary (infinity,1)-topos, sheaf of spectra, (infinity,n)-sheaf, quotient stack, rigidification of a stack, model topos, (infinity,n)-topos, Toda bracket