Given an (∞,1)-topos $\mathbf{H}$ we get an (∞,1)-category $\mathbf{H}_{rel}$ the arrow (∞,1)-category of $\mathbf{H}$:
objects are morphisms $\array{A \\ \downarrow \\ A'}$ in $\mathbf{H}$;
morphisms from $\array{X \\ \downarrow \\ X'}$ to $\array{A \\ \downarrow \\ A'}$ are (homotopy-)commutative
diagrams
The (∞,1)-category $\mathbf{H}_{rel}$ should be the one presented by the Reedy model structure on
where $I$ is the interval category $I = \{a \to b\}$.
Let $SPSh(C)^{loc}$ be a model structure on simplicial presheaves that presents $\mathbf{H}$.
Let $I_+ = \{0 \to 1\}$ and $I_- = \{1 \to 0\}$ be the interval category regarded as a Reedy category in two different ways, with degrees as indicated. Regard $I_+$ and $I_-$ as a SSet-enriched Reedy category in the canonical way. We write just $I$ in cases that apply to either Reedy category structure.
The enriched functor category $[I,SPSh(C)^{loc}]$ – the arrow category of $SPSh(C)$ – carries the Reedy model structure $[I,SPSh(C)^{loc}]_{Reedy}$.
It follows from Angetveit’s theorem that with this model structure and the canonical SSet-enrichment the category $[I,SPSh(C)^{loc}]$ is a simplicial model category.
Created on August 21, 2009 at 18:22:05. See the history of this page for a list of all contributions to it.