nLab
model structure on cubical presheaves

Contents

Context

Model category theory

$(\infty,1)$ -Topos Theory

Idea
Related concepts
References

Idea

Given a site, there is a model category structure on the category of cubical objects in the presheaf topos over that site, hence on the category of cubical set-valued presheaves, such that at least the corresponding homotopy category is equivalent to that of the corresponding local model structure on simplicial presheaves (Jardine 03, theorem 71) (the latter being known to present the (infinity,1)-topos over the given site).

Related concepts

model structure on simplicial presheaves
model structure on simplicial sheaves
model structure on presheaves of spectra
model structure for (2,1)-sheaves

References

Rick Jardine, Categorical homotopy theory, 2003 (web)

Created on April 16, 2015 at 05:23:54. See the history of this page for a list of all contributions to it.

nLab
model structure on cubical presheaves

Context

Model category theory

Definitions

Morphisms

Universal constructions

Producing new model structures

Presentation of $(\infty,1)$ -categories

Model structures

for $\infty$ -groupoids

for equivariant $\infty$ -groupoids

for rational $\infty$ -groupoids

for rational equivariant $\infty$ -groupoids

for $n$ -groupoids

for $\infty$ -groups

for $\infty$ -algebras

general

specific

for stable/spectrum objects

for $(\infty,1)$ -categories

for stable $(\infty,1)$ -categories

for $(\infty,1)$ -operads

for $(n,r)$ -categories

for $(\infty,1)$ -sheaves / $\infty$ -stacks

$(\infty,1)$ -Topos Theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

Contents

Idea

Related concepts

References

nLab model structure on cubical presheaves

Context

Model category theory

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (∞,1)(\infty,1)-categories

Model structures

for ∞\infty-groupoids

for equivariant ∞\infty-groupoids

for rational ∞\infty-groupoids

for rational equivariant ∞\infty-groupoids

for nn-groupoids

for ∞\infty-groups

for ∞\infty-algebras

general

specific

for stable/spectrum objects

for (∞,1)(\infty,1)-categories

for stable (∞,1)(\infty,1)-categories

for (∞,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (∞,1)(\infty,1)-sheaves / ∞\infty-stacks

(∞,1)(\infty,1)-Topos Theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

Contents

Idea

Related concepts

References

nLab
model structure on cubical presheaves

Presentation of $(\infty,1)$ -categories

for $\infty$ -groupoids

for equivariant $\infty$ -groupoids

for rational $\infty$ -groupoids

for rational equivariant $\infty$ -groupoids

for $n$ -groupoids

for $\infty$ -groups

for $\infty$ -algebras

for $(\infty,1)$ -categories

for stable $(\infty,1)$ -categories

for $(\infty,1)$ -operads

for $(n,r)$ -categories

for $(\infty,1)$ -sheaves / $\infty$ -stacks

$(\infty,1)$ -Topos Theory