nLab (infinity,1)-category of (infinity,1)-presheaves

Context

$\left(\infty ,1\right)$-Category theory

(∞,1)-category theory

Models

$\left(\infty ,1\right)$-Topos Theory

(∞,1)-topos theory

Constructions

structures in a cohesive (∞,1)-topos

Contents

Definition

For ∞Grpd the (∞,1)-category of ∞-groupoids, and for $S$ a (∞,1)-category (or in fact any simplicial set), an $\left(\infty ,1\right)$-presheaf on $S$ is an $\left(\infty ,1\right)$-functor

$F:{S}^{\mathrm{op}}\to \infty \mathrm{Grpd}\phantom{\rule{thinmathspace}{0ex}}.$F : S^{op} \to \infty Grpd \,.

The $\left(\infty ,1\right)$-category of $\left(\infty ,1\right)$-presheaves is the (∞,1)-category of (∞,1)-functors

${\mathrm{PSh}}_{\left(\infty ,1\right)}\left(S\right):=\mathrm{Func}\left({S}^{\mathrm{op}},\infty \mathrm{Grpd}\right)\phantom{\rule{thinmathspace}{0ex}}.$PSh_{(\infty,1)}(S) := Func(S^{op}, \infinity Grpd) \,.

Properties

Models

A model for an $\left(\infty ,1\right)$-presheaf categories is the model structure on simplicial presheaves. See also the discussion at models for ∞-stack (∞,1)-toposes.

Proposition

For $C$ a simplicially enriched category with Kan complexes as hom-objects, write $\left[{C}^{\mathrm{op}},{\mathrm{sSet}}_{\mathrm{Quillen}}{\right]}_{\mathrm{proj}}$ and $\left[{C}^{\mathrm{op}},{\mathrm{sSet}}_{\mathrm{Quillen}}{\right]}_{\mathrm{inj}}$ for the projective or injective, respectively, gloabl model structure on simplicial presheaves. Write $\left(-{\right)}^{\circ }$ for the full sSet-enriched subcategory on fibrant-cofibrant objects, and $N\left(-\right)$ for the homotopy coherent nerve that sends a Kan-complex enriched category to a quasi-category.

Then there is an equivalence of quasi-categories

$\mathrm{PSh}\left(N\left(C\right)\right)\simeq N\left(\left[{C}^{\mathrm{op}},{\mathrm{sSet}}_{\mathrm{Quillen}}{\right]}_{\mathrm{proj}}{\right)}^{\circ }\phantom{\rule{thinmathspace}{0ex}}.$PSh(N(C)) \simeq N ([C^{op}, sSet_{Quillen}]_{proj})^\circ \,.

Similarly for the injective model structure.

Proof

This is a special case of the more general statement that the model structure on functors models an (∞,1)-category of (∞,1)-functors. See there for more details.

Notice that the result in particular means that any $\left(\infty ,1\right)$-presheaf – an ”$\infty$-pseudofunctor” – may be straightened or rectified to a genuine sSet-enriched functor, that respects horizontal compositions strictly.

Limits and colimits

In an ordinary category of presheaves, limits and colimits are computed objectwise, as described at limits and colimits by example. The analogous statement is true for (∞,1)-limits and colimits in an $\left(\infty ,1\right)$-category of $\left(\infty ,1\right)$-presheaves.

This is a special case of the general existence of limits and colimits in an (∞,1)-category of (∞,1)-functors. See there for more details.

Corollary

For $C$ a small $\left(\infty ,1\right)$-category, the $\left(\infty ,1\right)$-category $\mathrm{PSh}\left(C\right)$ admits all small limits and colimits.

See around HTT, cor. 5.1.2.4.

As the free completion under colimits

An ordinary category of presheaves on a small category $C$ is the free cocompletion of $C$, the free completion under forming colimits.

The analogous result holds for $\left(\infty ,1\right)$-category of $\left(\infty ,1\right)$-presheaves.

Lemma

Let $C$ be a small quasi-category and $j:S\to \mathrm{PSh}\left(C\right)$ the (∞,1)-Yoneda embedding.

The identity (∞,1)-functor $\mathrm{Id}:\mathrm{PSh}\left(C\right)\to \mathrm{PSh}\left(C\right)$ is the left (∞,1)-Kan extension of $j$ along itself.

Proof

This is HTT, lemma 5.1.5.3.

For $D$ a quasi-category with all small colimits, write ${\mathrm{Func}}^{L}\left(\mathrm{PSh}\left(C\right),D\right)\subset \mathrm{Func}\left(\mathrm{PSh}\left(C\right),D\right)$ for the full sub-quasi-category of the (∞,1)-category of (∞,1)-functors on those that preserve small colimits.

Lemma

Composition with the Yoneda embedding $j:C\to \mathrm{PSh}\left(C\right)$ induces an equivalence of quasi-categories

${\mathrm{Func}}^{L}\left(\mathrm{PSh}\left(C\right),D\right)\to \mathrm{Func}\left(C,D\right)\phantom{\rule{thinmathspace}{0ex}}.$Func^L(PSh(C),D) \to Func(C,D) \,.
Proof

This is HTT, theorem 5.1.5.6.

In terms of the model given by the model structure on simplicial presheaves, this is statement made in

which gives that article its name.

Definition

Let $A$ and $B$ be model categories, $D$ a plain category and

$\begin{array}{ccc}D& \stackrel{r}{\to }& A\\ & {↘}_{\gamma }\\ & & B\end{array}$\array{ D &\stackrel{r}{\to}& A \\ & \searrow_\gamma \\ && B }

two plain functors. Say that a model-category theoretic factorization of $\gamma$ through $A$ is

1. a Quillen adjunction $\left(L⊣R\right):A\stackrel{\stackrel{L}{\to }}{\underset{R}{←}}B$

2. a natural weak equivalence $\eta :L\circ r\to \gamma$

$\begin{array}{ccccc}D& & \stackrel{r}{\to }& & A\\ & {↘}_{\gamma }& {}^{\eta }⇙& {↙}_{L}\\ & & B\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ D &&\stackrel{r}{\to}&& A \\ & \searrow_\gamma &{}^\eta\swArrow& \swarrow_L \\ && B } \,.

Let the category of such factorizations have morphisms $\left(\left(L⊣R\right),\eta \right)\to \left(\left(L\prime ⊣R\prime \right),\eta \prime \right)$ given by natural transformations $L\to L\prime$ such that for all all objects $d\in D$ the diagrams

$\begin{array}{ccccc}L\circ r\left(d\right)& & \to & & L\prime \circ r\left(d\right)\\ & {}_{{\eta }_{d}}↘& & {↙}_{\eta {\prime }_{d}}\\ & & \gamma \left(\right)\end{array}$\array{ L\circ r(d) &&\to&& L'\circ r(d) \\ & {}_{\eta_{d}}\searrow && \swarrow_{\eta'_{d}} \\ && \gamma() }

commutes.

Notice that the (∞,1)-category presented by a model category – at least by a combinatorial model category – has all (∞,1)-categorical colimits, and that the Quillen left adjoint functor $L$ presents, via its derived functor, a left adjoint (∞,1)-functor that preserves $\left(\infty ,1\right)$-categorical colimits. So the notion of factorization as above is really about factorizations through colimit-preserving $\left(\infty ,1\right)$-functors into $\left(\infty ,1\right)$-categories that have all colimits.

Theorem

(model category presentation of free $\left(\infty ,1\right)$-cocompletion)

For $C$ a small category, the projective global model structure on simplicial presheaves $\left[{C}^{\mathrm{op}},\mathrm{sSet}{\right]}_{\mathrm{proj}}$ on $C$ is universal with respect to such factorizations of functors out of $C$:

every functor $C\to B$ to any model category $B$ has a factorization through $\left[{C}^{\mathrm{op}},\mathrm{sSet}{\right]}_{\mathrm{proj}}$ as above, and the category of such factorizations is contractible.

Proof

This is theorem 1.1 in

The proof is on page 30.

To produce the factorization $\left[{C}^{\mathrm{op}},\mathrm{sSet}\right]\to B$ given the functor $\gamma$, first notice that the ordinary Yoneda extension $\left[{C}^{\mathrm{op}},\mathrm{Set}\right]\to B$ would be given by the left Kan extension given by the coend formula

$F↦{\int }^{c\in C}\gamma \left(c\right)\cdot F\left(c\right)\phantom{\rule{thinmathspace}{0ex}},$F \mapsto \int^{c \in C} \gamma(c) \cdot F(c) \,,

where the dot in the integrand is the tensoring of cocomplete category $B$ over Set. To refine this to a left Quillen functor $L:\left[{C}^{\mathrm{op}},\mathrm{sSet}\right]\to B$, choose a cosimplicial resolution?

$\Gamma :C\to \left[\Delta ,B\right]$\Gamma : C \to [\Delta,B]

of $\gamma$. Then set

$L:F↦{\int }^{c\in C}{\int }^{\left[n\right]\in \Delta }{\Gamma }^{n}\left(c\right)\cdot {F}_{n}\left(c\right)\phantom{\rule{thinmathspace}{0ex}}.$L : F \mapsto \int^{c \in C} \int^{[n] \in \Delta} \Gamma^n(c) \cdot F_n(c) \,.

The right adjoint $R:B\to \left[{C}^{\mathrm{op}},\mathrm{sSet}\right]$ of this functor is given by

$R\left(X\right):c↦{\mathrm{Hom}}_{B}\left({\Gamma }^{•}\left(c\right),X\right)\phantom{\rule{thinmathspace}{0ex}}.$R(X) : c \mapsto Hom_B(\Gamma^\bullet(c), X) \,.

For $\left(L⊣R\right):\left[{C}^{\mathrm{op}},\mathrm{sSet}{\right]}_{\mathrm{proj}}\stackrel{\to }{←}B$ to be a Quillen adjunction, it is sufficient to check that $R$ preserves fibrations and acyclic fibrations. By definition of the projective model structure this means that for every (acyclic) fibration ${b}_{1}\to {b}_{2}$ in $B$ we have for every object $c\in C$ that that

${\mathrm{Hom}}_{C}\left({\Gamma }^{•}\left(c\right),{b}_{1}\to {b}_{2}\right)$Hom_C(\Gamma^\bullet(c), b_1 \to b_2)

is an (acyclic) fibration of simplicial sets. But this is one of the standard properties of cosimplicial resolution?s.

Finally, to find the natural weak equivalence $\eta :L\circ j\simeq \gamma$, write $j:C\to \left[{C}^{\mathrm{op}},\mathrm{sSet}\right]$ for the Yoneda embedding and notice that by Yoneda reduction it follows that for $x\in C$ we have

$L\left(j\left(x\right)\right)={\int }^{c\in C}{\int }^{\left[n\right]\in \Delta }{\Gamma }^{n}\left(c\right)\cdot C\left(c,x\right)={\Gamma }^{0}\left(x\right)$L(j(x)) = \int^{c \in C} \int^{[n] \in \Delta} \Gamma^n(c) \cdot C(c,x) = \Gamma^0(x)

(where equality signs denote isomorphisms).

By the very definition of cosimplicial resolutions, there is a natural weak equivalence $\Gamma \left(x\right)\stackrel{\simeq }{\to }$. We can take this to be the component of $\eta$.

Corollary

The (∞,1)-Yoneda embedding $j:C\to \mathrm{PSh}\left(C\right)$ generates $\mathrm{PSh}\left(C\right)$ under small colimits:

a full (∞,1)-subcategory of $\mathrm{PSh}\left(C\right)$ that contains all representables and is closed under forming $\left(\infty ,1\right)$-colimits is already equivalent to $\mathrm{PSh}\left(C\right)$.

Proof

This is HTT, corollary 5.1.5.8.

Interaction with forming overcategories

The following analog of the corresponding result for 1-categories of presheaves holds for $\left(\infty ,1\right)$-presheaves. See functors and comma categories.

Proposition

(forming overcategories commutes with passing to presheaves)

Let $C$ be a small (∞,1)-category and $p:K\to C$ a diagram. Write ${C}_{/p}$ and $\mathrm{PSh}\left(C\right){/}_{jp}$ for the corresponding over categories, where $j:C\to \mathrm{PSh}\left(C\right)$ is the (∞,1)-Yoneda embedding.

Then we have an equivalence of (∞,1)-categories

$\mathrm{PSh}\left({C}_{/p}\right)\stackrel{\simeq }{\to }\mathrm{PSh}\left(C{\right)}_{/jp}\phantom{\rule{thinmathspace}{0ex}}.$PSh(C_{/p}) \stackrel{\simeq}{\to} PSh(C)_{/j p} \,.

This appears as HTT, 5.1.6.12.

$\left(\infty ,1\right)$-subcategories of $\left(\infty \right)$-presheaf categories

Locally presentable $\left(\infty ,1\right)$-categories

A reflective (∞,1)-subcategory of an $\left(\infty ,1\right)$-category of $\left(\infty ,1\right)$-presheaves is called a presentable (∞,1)-category.

$\left(\infty ,1\right)$-Sheaf $\left(\infty ,1\right)$-categories

If that left adjoint (∞,1)-functor to the embedding of the reflective (∞,1)-subcategory furthermore preserves finite limits, then the subcategory is an (∞,1)-category of (∞,1)-sheaves: an (∞,1)-topos

Locally presentable categories: Large categories whose objects arise from small generators under small relations.

(n,r)-categoriessatisfying Giraud's axiomsinclusion of left exaxt localizationsgenerated under colimits from small objectslocalization of free cocompletiongenerated under filtered colimits from small objects
(0,1)-category theory(0,1)-toposes$↪$algebraic lattices$\simeq$ Porst’s theoremsubobject lattices in accessible reflective subcategories of presheaf categories
category theorytoposes$↪$locally presentable categories$\simeq$ Adámek-Rosický’s theoremaccessible reflective subcategories of presheaf categories$↪$accessible categories
model category theorymodel toposes$↪$combinatorial model categories$\simeq$ Dugger’s theoremleft Bousfield localization of global model structures on simplicial presheaves
(∞,1)-topos theory(∞,1)-toposes$↪$locally presentable (∞,1)-categories$\simeq$
Simpson’s theorem
accessible reflective sub-(∞,1)-categories of (∞,1)-presheaf (∞,1)-categories$↪$accessible (∞,1)-categories

References

This is the topic of section 5.1 of

Revised on October 15, 2012 18:04:58 by Urs Schreiber (82.113.99.246)