Section 11.5 (01NH): Tags Lost in Reorganization

11.5 Tags Lost in Reorganization

Remark 11.5.0.1. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category.

If $\operatorname{\mathcal{C}}$ has a final object, then the partially ordered set $\operatorname{Sub}(\operatorname{\mathcal{C}})$ has a largest element: namely, the isomorphism class $[X]$, where $X$ is any final object of $\operatorname{\mathcal{C}}$.
If $\operatorname{\mathcal{C}}$ admits finite products, then $\operatorname{Sub}(\operatorname{\mathcal{C}})$ is a lower semilattice: that is, every finite subset of $\operatorname{Sub}(\operatorname{\mathcal{C}})$ has a greatest lower bound. In particular, every pair of elements $[X], [Y] \in \operatorname{Sub}(\operatorname{\mathcal{C}})$ have a greatest lower bound which we will denote by $[X] \cap [Y]$, given by the isomorphism class of the product $X \times Y$.

Construction 11.5.0.2 (Inverse Images). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category which admits fiber products. Then every morphism $f: X \rightarrow Y$ in $\operatorname{\mathcal{C}}$ determines a pullback functor

\[ f^{\ast }: \operatorname{\mathcal{C}}_{/Y} \rightarrow \operatorname{\mathcal{C}}_{/X} \quad \quad Y' \mapsto X \times _{Y} Y' \]

(see Proposition 7.6.2.35). The functor $f^{\ast }$ has a left adjoint, and therefore carries subterminal objects of $\operatorname{\mathcal{C}}_{/X}$ to subterminal objects of $\operatorname{\mathcal{C}}_{/Y}$. Passing to isomorphism classes, we obtain a map of partially ordered sets $f^{-1}: \operatorname{Sub}(Y) \rightarrow \operatorname{Sub}(X)$, given concretely by the formula $f^{-1} [Y_0] = [ Y_0 \times _{Y} X ]$. Since the functor $f^{\ast }$ preserves products, $f^{-1}$ is a homomorphism of lower semilattices: that is, it satisfies the identities

\[ f^{-1}( [Y_0] \cap [Y_1] ) = f^{-1}([Y_0]) \cap f^{-1}( [Y_1] ) \quad \quad f^{-1}([Y]) = [X]. \]

Question 11.5.0.3. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Under what conditions does there exists an equivalence of $\infty $-categories $\operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$, where $\operatorname{\mathcal{D}}$ is an $(n,1)$-category?

Proposition 11.5.0.4. See Proposition 7.6.3.8.

Remark 11.5.0.5. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories and let $n \geq -1$. Then $F$ is essentially $n$-categorical if and only if, for every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, the map of Kan complexes

\[ F_{X,Y}: \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{D}}}( F(X), F(Y) ) \]

is $(n-1)$-truncated. This follows by combining Example 4.8.3.14 with Corollary 4.8.2.22.

Corollary 11.5.0.6. Let $f: X \rightarrow Y$ be a morphism of Kan complexes and let $n$ be an integer. Then:

The morphism $f$ is $n$-connective (in the sense of Definition 3.5.1.13) if and only if it is $m$-full for every nonnegative integer $m \leq n$.
The morphism $f$ is $n$-truncated (in the sense of Definition 3.5.9.1) if and only if it is $m$-full for every nonnegative integer $m \geq n+2$.

Corollary 11.5.0.7. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a fully faithful functor of $\infty $-categories. Then the induced map of cores $\operatorname{\mathcal{C}}^{\simeq } \rightarrow \operatorname{\mathcal{D}}^{\simeq }$ is also fully faithful.

Proof. Fix objects $X,Y \in \operatorname{\mathcal{C}}^{\simeq }$. Our assumption that $F$ is fully faithful guarantees that the induced map $\theta : \operatorname{Hom}_{\operatorname{\mathcal{C}}}( X, Y) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{D}}}( F(X), F(Y) )$ is a homotopy equivalence of Kan complexes. By virtue of Proposition 4.8.3.5, $\theta $ restricts to a homotopy equivalence from the summand of $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ spanned by the isomorphisms from $X$ to $Y$ to the summand of $\operatorname{Hom}_{\operatorname{\mathcal{D}}}( F(X), F(Y) )$ spanned by the isomorphisms from $F(X)$ to $F(Y)$. Unwinding the definitions, we conclude that $F^{\simeq }$ induces a homotopy equivalence $\operatorname{Hom}_{\operatorname{\mathcal{C}}^{\simeq }}( X, Y) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{D}}^{\simeq }}( F(X), F(Y) )$. $\square$

Lemma 11.5.0.8. Let $f: X \rightarrow Y$ be a morphism of Kan complexes which is fully faithful and essentially surjective. Then $f$ is a homotopy equivalence.

Proof. Since $f$ is essentially surjective, the underlying map of connected components $\pi _0(f): \pi _0(X) \rightarrow \pi _0(Y)$ is surjective. We claim that it is also injective. To prove this, suppose that $x$ and $x'$ are vertices of $X$ such that $f(x)$ and $f(x')$ belong to the same connected component of $Y$. Then the morphism space $\operatorname{Hom}_{Y}( f(x), f(x') )$ is nonempty. Since $f$ is fully faithful, it induces a homotopy equivalence $\operatorname{Hom}_{X}(x,x') \rightarrow \operatorname{Hom}_{Y}(f(x), f(x') )$. It follows that $\operatorname{Hom}_{X}(x,x')$ is nonempty, so that $x$ and $x'$ belong to the same connected component of $X$. This completes the proof that $\pi _0(f)$ is a bijection.

By virtue of Whitehead's theorem (Theorem 3.2.7.1), it will suffice to show that for every vertex $x \in X$ having image $y =f(x) \in Y$ and every integer $n \geq 0$, the induced map $\theta : \pi _{n+1}( X, x) \rightarrow \pi _{n+1}( Y, y)$ is an isomorphism. Using Example 4.6.1.13, we can identify $\theta $ with the natural map $\pi _{n}( \operatorname{Hom}_{X}(x,x), \operatorname{id}_{x} ) \rightarrow \pi _{n}( \operatorname{Hom}_{Y}(y,y), \operatorname{id}_{y} )$, which is bijective by virtue of our assumption that $f$ induces a homotopy equivalence $\operatorname{Hom}_{X}(x,x) \rightarrow \operatorname{Hom}_{Y}(y,y)$. $\square$

Corollary 11.5.0.9. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor between $\infty $-categories. The following conditions are equivalent:

The functor $F$ is fully faithful. That is, for every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, the functor $F$ induces a homotopy equivalence of Kan complexes $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{D}}}(F(X), F(Y) )$.
For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, the functor $F$ induces a homotopy equivalence of left-pinched morphism spaces $\operatorname{Hom}_{\operatorname{\mathcal{C}}}^{\mathrm{L}}(X,Y) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{D}}}^{\mathrm{L}}( F(X), F(Y) )$.
For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, the functor $F$ induces a homotopy equivalence of right-pinched morphism spaces $\operatorname{Hom}_{\operatorname{\mathcal{C}}}^{\mathrm{R}}(X,Y) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{D}}}^{\mathrm{R}}( F(X), F(Y) )$.

Corollary 11.5.0.10. See Corollary 4.8.4.15.

Remark 11.5.0.11. See Remark 4.8.3.31.

Example 11.5.0.12. See Example 4.8.3.13.

Proposition 11.5.0.13. See Corollary 4.8.3.39.

Remark 11.5.0.14. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. Then:

The functor $F$ is faithful if and only if it is $n$-full for each $n \geq 2$ (see Example 3.5.9.3).
The functor $F$ is fully faithful if and only if it is $n$-full for each $n \geq 1$ (see Remark 4.8.3.9).
The functor $F$ is an equivalence of $\infty $-categories if and only if it is $n$-full for each $n \geq 0$ (see Theorem 4.8.4.1).

Corollary 11.5.0.15. Let $n$ be an integer and let $\operatorname{\mathcal{C}}$ be an $n$-category. Then $\operatorname{\mathcal{C}}$ is locally $(n-1)$-truncated as an $\infty $-category.

Proof. Combine Proposition 4.7.7.20 with Example 3.5.7.2 (or apply Corollary 4.7.6.16). $\square$

Example 11.5.0.16. Let $n$ be an integer. Then every $n$-category is locally $(n-1)$-truncated (Corollary 11.5.0.15). In particular:

If $Q$ is a partially ordered set, then the nerve $\operatorname{N}_{\bullet }(Q)$ is locally $(-1)$-truncated $\infty $-category (Proposition 4.7.7.16).
If $\operatorname{\mathcal{C}}$ is an ordinary category, then the nerve $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ is a locally $0$-truncated $\infty $-category (Example 4.7.7.4).
If $\operatorname{\mathcal{C}}$ is a $2$-category in which every $2$-morphism is an isomorphism, then the Duskin nerve $\operatorname{N}_{\bullet }^{\operatorname{D}}(\operatorname{\mathcal{C}})$ is a locally $1$-truncated $\infty $-category (Example 4.7.7.5).

Corollary 11.5.0.17. See Remark None.

Remark 11.5.0.18. See Example 8.5.1.17.

Example 11.5.0.19. See Remark None.

Variant 11.5.0.20. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $C \in \operatorname{\mathcal{C}}$ be an object, and let $W$ be the collection of all morphisms $w: X \rightarrow Y$ of $\operatorname{\mathcal{C}}$ such that $C$ is $w$-local. Then $W$ is weakly saturated. This follows from Corollary None, Variant 9.6.2.12 and Corollary 11.8.0.3.

Corollary 11.5.0.21. Removed.

Corollary 11.5.0.22. See Example 9.6.5.9.

Example 11.5.0.23. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cocartesian fibration of simplicial sets. Then $U$ is presentable (in the sense of Definition 9.5.3.5) if and only if it admits a covariant transport representation taking values in the $\infty $-category $\operatorname{\mathcal{QC}}^{\operatorname{LPr}}$ of Construction 9.5.3.1.

Remark 11.5.0.24. The contents of this Remark are discussed in §7.1.7.

Example 11.5.0.25. Let $\operatorname{\mathcal{D}}$ be an $\infty $-category and let $f: K \rightarrow \operatorname{\mathcal{D}}$ be a diagram indexed by a weakly contractible simplicial set $K$. Suppose that $f$ carries each edge of $K$ to an isomorphism in $\operatorname{\mathcal{D}}$. Then an extension $\overline{f}: K^{\triangleright } \rightarrow \operatorname{\mathcal{D}}$ is a colimit diagram if and only if it carries each edge of $K^{\triangleright }$ to an isomorphism in $\operatorname{\mathcal{D}}$ (this follows by applying Corollary 7.3.9.4 in the special case $\operatorname{\mathcal{E}}= \Delta ^0$). Note that such an extension always exists: the weak contractibility of $K$ guarantees that $f$ is nullhomotopic when viewed as a morphism from $K$ to the core $\operatorname{\mathcal{D}}^{\simeq }$.

Lemma 11.5.0.26. Let $\operatorname{\mathcal{C}}$ be a category and let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set_{\Delta }}$ be a diagram of simplicial sets indexed by $\operatorname{\mathcal{C}}$. Suppose we are given morphisms of simplicial sets $A \xrightarrow {f} B \xrightarrow {g} \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$, where $f$ is right anodyne. Then the induced map $A \times _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \underset { \longrightarrow }{\mathrm{holim}}( \mathscr {F} ) \rightarrow B \times _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \underset { \longrightarrow }{\mathrm{holim}}( \mathscr {F} )$ is right anodyne.

Proof. Merged into Lemma 5.3.6.3. $\square$

Exercise 11.5.0.27. This exercise was incorrect.

Variant 11.5.0.28. See Definition 7.6.6.28.

Corollary 11.5.0.29. See Proposition 9.2.1.1 and Proposition None.

Proposition 11.5.0.30. See Remark 7.6.6.38.

Remark 11.5.0.31. See Remark 7.6.6.38.

Lemma 11.5.0.32. See Example 7.6.6.32.

Corollary 11.5.0.33 (Colimits in $\infty $-Categories of Sections). See Proposition None.

Example 11.5.0.34. See Remark 8.7.1.10.

Remark 11.5.0.35. See Corollary None.

Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories and let $\overline{f}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ be a morphism of simplicial sets having restriction $f = \overline{f}|_{K}$. Proposition 7.1.6.13 asserts that $\overline{f}$ is a $U$-colimit diagram if and only if, for every diagram $\overline{g}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ having restriction $g = \overline{g}|_{K}$, the diagram of Kan complexes

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{Hom}_{\operatorname{Fun}(K^{\triangleright }, \operatorname{\mathcal{C}}) }( \overline{f}, \overline{g} ) \ar [r] \ar [d] & \operatorname{Hom}_{\operatorname{Fun}(K, \operatorname{\mathcal{C}}) }( f, g ) \ar [d] \\ \operatorname{Hom}_{\operatorname{Fun}(K^{\triangleright }, \operatorname{\mathcal{D}}) }( U \circ \overline{f}, U \circ \overline{g} ) \ar [r] & \operatorname{Hom}_{\operatorname{Fun}(K, \operatorname{\mathcal{D}}) }( U \circ f, U \circ g) } \]

is a homotopy pullback square. However, it suffices to verify this condition in the special case where $\overline{g}$ is a constant diagram: that is the content of Proposition 7.1.6.19.

Remark 11.5.0.36. We will see later that, if $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-limit diagram, then it satisfies a stronger version of the criterion of Proposition None: for every morphism $\overline{g}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$, the diagram of Kan complexes

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{Hom}_{\operatorname{Fun}(K^{\triangleleft }, \operatorname{\mathcal{C}}) }( \overline{g}, \overline{f} ) \ar [r] \ar [d] & \operatorname{Hom}_{\operatorname{Fun}(K, \operatorname{\mathcal{C}}) }( \overline{g}|_{K}, \overline{f}|_{K} ) \ar [d] \\ \operatorname{Hom}_{\operatorname{Fun}(K^{\triangleleft }, \operatorname{\mathcal{D}}) }( U \circ \overline{g}, U \circ \overline{f} ) \ar [r] & \operatorname{Hom}_{\operatorname{Fun}(K, \operatorname{\mathcal{D}}) }( U \circ \overline{g}|_{K}, U \circ \overline{f}|_{K} ) } \]

is a homotopy pullback square. See Remark 11.5.0.35.

Proposition 11.5.0.37. See Remark 6.2.3.13.

Corollary 11.5.0.38. See Proposition 11.6.0.174.

Example 11.5.0.39. Let $\kappa $ be an uncountable regular cardinal, and let $\mathbb {K}$ denote the collection of all $\kappa $-small simplicial sets. Then an $\infty $-category $\operatorname{\mathcal{C}}$ is $\mathbb {K}$-cocomplete if and only if it is $\kappa $-cocomplete, in the sense of Variant 11.5.0.40. A functor of $\infty $-categories $h: \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}$ exhibits $\widehat{\operatorname{\mathcal{C}}}$ as a $\mathbb {K}$-cocompletion of $\operatorname{\mathcal{C}}$ if and only if it exhibits $\widehat{\operatorname{\mathcal{C}}}$ as a $\kappa $-cocompletion of $\operatorname{\mathcal{C}}$, in the sense of Definition 8.4.3.1.

In particular, if $\mathbb {K}$ is the collection of all small simplicial sets, then an $\infty $-category $\operatorname{\mathcal{C}}$ is a $\mathbb {K}$-cocomplete if and only if it is cocomplete, and a functor $h: \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}$ exhibits $\widehat{\operatorname{\mathcal{C}}}$ as a $\mathbb {K}$-cocompletion of $\operatorname{\mathcal{C}}$ if and only if it exhibits $\widehat{\operatorname{\mathcal{C}}}$ as a cocompletion of $\operatorname{\mathcal{C}}$.

Variant 11.5.0.40. Let $\kappa $ be an infinite cardinal. We say that an $\infty $-category $\operatorname{\mathcal{C}}$ is $\kappa $-cocomplete if it admits $K$-indexed colimits, for every $\kappa $-small simplicial set $K$. Equivalently, the $\infty $-category $\operatorname{\mathcal{C}}$ is $\kappa $-cocomplete if the opposite $\infty $-category $\operatorname{\mathcal{C}}^{\operatorname{op}}$ is $\kappa $-complete.

We say that a functor of $\infty $-categories $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ preserves $\kappa $-small colimits if it preserves $K$-indexed colimits, for every $\kappa $-small simplicial set $K$. Equivalently, $F$ preserves $\kappa $-small colimits if the opposite functor $F^{\operatorname{op}}: \operatorname{\mathcal{C}}^{\operatorname{op}} \rightarrow \operatorname{\mathcal{D}}^{\operatorname{op}}$ preserves $\kappa $-small limits.

Corollary 11.5.0.41. See Proposition 11.6.0.49.

Proof. Combine Proposition 11.5.0.37 with Corollary 11.6.0.48. $\square$

Corollary 11.5.0.42. See Example 9.2.2.19.

Variant 11.5.0.43. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $W$ be a collection of morphisms of $\operatorname{\mathcal{C}}$ which is colocalizing, and let $\operatorname{\mathcal{C}}'$ denote the full subcategory of $\operatorname{\mathcal{C}}$ spanned by the $W$-colocal objects. Then:

$(1)$: The full subcategory $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ is coreflective.
$(2)$: The inclusion functor $\operatorname{\mathcal{C}}' \hookrightarrow \operatorname{\mathcal{C}}$ admits a right adjoint $L: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}'$.
$(3)$: A morphism $w$ of $\operatorname{\mathcal{C}}$ is contained in $W$ if and only if $L(w)$ is an isomorphism in $\operatorname{\mathcal{C}}'$.
$(4)$: The functor $L$ exhibits $\operatorname{\mathcal{C}}'$ as a localization of $\operatorname{\mathcal{C}}$ with respect to $W$.

Variant 11.5.0.44. Let $\kappa \leq \lambda $ be regular cardinals. We say that $\operatorname{\mathcal{C}}$ admits $\lambda $-small $\kappa $-filtered colimits if it admits $\operatorname{\mathcal{K}}$-indexed colimits, for every $\infty $-category $\operatorname{\mathcal{K}}$ which is $\lambda $-small and $\kappa $-filtered. We say that a functor $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ preserves $\lambda $-small $\kappa $-filtered colimits if it preserves $\operatorname{\mathcal{K}}$-indexed colimits, for every $\infty $-category $\operatorname{\mathcal{K}}$ which is $\lambda $-small and $\kappa $-filtered.

Example 11.5.0.45. See Corollary 11.5.0.29.

Remark 11.5.0.46. Let $\kappa $ be an infinite cardinal and let $\operatorname{\mathcal{C}}$ be a $\kappa $-filtered $\infty $-category. If $\operatorname{\mathcal{C}}$ are $\kappa $ are small, then the partially ordered set $(A, \leq )$ constructed in the proof of Theorem 9.1.8.7 is also small. More generally, if $\operatorname{\mathcal{C}}$ is $\lambda $-small for some uncountable cardinal $\lambda $ which is of cofinality $> \kappa $ and exponential cofinality $\geq \kappa $, then the partially ordered set $(A, \leq )$ is also $\lambda $-small.

Variant 11.5.0.47. See Corollary 9.2.1.12.

Variant 11.5.0.48. See Corollary None.

Proposition 11.5.0.49. See Proposition None for a slightly weaker statement.

Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a morphism of simplicial sets, where $\operatorname{\mathcal{D}}$ is an $\infty $-category. Let $W$ be a collection of edges of $\operatorname{\mathcal{C}}$ such that, for each $w \in W$, the image $F(w)$ is an isomorphism in $\operatorname{\mathcal{D}}$. Then $F$ factors as a composition

\[ \operatorname{\mathcal{C}}\xrightarrow {G} \operatorname{\mathcal{C}}[W^{-1}] \xrightarrow {H} \operatorname{\mathcal{D}}, \]

where $G$ exhibits $\operatorname{\mathcal{C}}[W^{-1}]$ as a localization of $\operatorname{\mathcal{C}}$ with respect to $W$ and $H$ is an inner fibration (so that $\operatorname{\mathcal{C}}[W^{-1}]$ is also an $\infty $-category). Moreover, this factorization can be chosen to depend functorially on the diagram $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ and the collection of edges $W$, in such a way that the construction $(F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}, W) \mapsto \operatorname{\mathcal{C}}[W^{-1}]$ commutes with filtered colimits.

Proof. For each element $w \in W$, the image $F(w)$ can be regarded as a morphism from $\Delta ^1$ to the core $\operatorname{\mathcal{D}}^{\simeq }$. By virtue of Proposition 3.1.8.1, we can (functorially) choose a factorization of this morphism as a composition

\[ \Delta ^1 \xrightarrow { i_{w} } Q_{w} \xrightarrow { q_{w} } \operatorname{\mathcal{D}}^{\simeq }, \]

where $i_{w}$ is anodyne and $q_{w}$ is a Kan fibration. Since $\operatorname{\mathcal{D}}^{\simeq }$ is a Kan complex, $Q_{w}$ is also a Kan complex, which is contractible by virtue of the fact that $i_{w}$ is anodyne. Form a pushout diagram of simplicial sets

\[ \xymatrix@R =50pt@C=50pt{ \coprod _{w \in W} \Delta ^1 \ar [r] \ar [d]^{\coprod _{w \in W} i_ w} & \operatorname{\mathcal{C}}\ar [d]^{i} \\ \coprod _{w \in W} Q_ w \ar [r] & \operatorname{\mathcal{C}}'. } \]

We first claim that $i: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}'$ exhibits $\operatorname{\mathcal{C}}'$ as a localization of $\operatorname{\mathcal{C}}$ with respect to $W$. Let $\operatorname{\mathcal{E}}$ be an $\infty $-category. Note that if $G: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{E}}$ is a morphism of simplicial sets which factors through $\operatorname{\mathcal{C}}'$, then for each $w \in W$ the morphism $G(w)$ belongs to the image of a functor $Q_ w \rightarrow \operatorname{\mathcal{E}}$, and is therefore an isomorphism in $\operatorname{\mathcal{E}}$. It follows that composition with $i$ induces a functor $\theta : \operatorname{Fun}( \operatorname{\mathcal{C}}', \operatorname{\mathcal{E}}) \rightarrow \operatorname{Fun}( \operatorname{\mathcal{C}}[W^{-1}], \operatorname{\mathcal{E}})$, and we wish to show that $\theta $ is an equivalence of $\infty $-categories. This follows by inspecting the commutative diagram

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{Fun}(\operatorname{\mathcal{C}}', \operatorname{\mathcal{E}}) \ar [r]^-{\theta } \ar [d] & \operatorname{Fun}(\operatorname{\mathcal{C}}[W^{-1}], \operatorname{\mathcal{E}}) \ar [r] \ar [d] & \operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{E}}) \ar [d] \\ \prod _{w \in W} \operatorname{Fun}(Q_ w,\operatorname{\mathcal{E}}) \ar [r]^-{\theta '} & \prod _{w \in W} \operatorname{Isom}(\operatorname{\mathcal{E}}) \ar [r] & \prod _{w \in W} \operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{E}}). } \]

The outer rectangle is a pullback square by the definition of $\operatorname{\mathcal{C}}'$, and the right square is a pullback by the definition of $\operatorname{Fun}( \operatorname{\mathcal{C}}[W^{-1}], \operatorname{\mathcal{E}})$. It follows that the left square is also a pullback. Lemma 11.5.0.50 implies that $\theta '$ is a trivial Kan fibration, so that $\theta $ is also a trivial Kan fibration (hence an equivalence of $\infty $-categories by Proposition 4.5.4.11).

Note that the morphism $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ and the collection of morphisms $\{ q_{w}: Q_ w \rightarrow \operatorname{\mathcal{D}}^{\simeq } \subseteq \operatorname{\mathcal{D}}\} _{w \in W}$ can be amalgamated to a single morphism of simplicial sets $F': \operatorname{\mathcal{C}}' \rightarrow \operatorname{\mathcal{D}}$. Applying Proposition 4.1.3.2, we can (functorially) factor $F'$ as a composition $\operatorname{\mathcal{C}}' \xrightarrow {G'} \operatorname{\mathcal{C}}[W^{-1}] \xrightarrow {H} \operatorname{\mathcal{D}}$, where $G'$ is inner anodyne and $H$ is an inner fibration. We conclude by observing that the composite map $G = (G' \circ i): \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}[W^{-1}]$ exhibits $\operatorname{\mathcal{C}}[W^{-1}]$ as a localization of $\operatorname{\mathcal{C}}$ with respect to $W$, by virtue of Remark 6.3.1.20. $\square$

Lemma 11.5.0.50. Let $Q$ be a contractible Kan complex, let $e: \Delta ^1 \hookrightarrow Q$ be a monomorphism of simplicial sets, and let $W = \{ \operatorname{id}_{ \Delta ^1} \} $ consist of the single nondegenerate edge of $\Delta ^1$. Then, for any $\infty $-category $\operatorname{\mathcal{E}}$, precomposition with $e$ induces a trivial Kan fibration of simplicial sets

\[ \theta : \operatorname{Fun}(Q, \operatorname{\mathcal{E}}) \rightarrow \operatorname{Fun}( \Delta ^1[ W^{-1}], \operatorname{\mathcal{E}}) = \operatorname{Isom}(\operatorname{\mathcal{E}}). \]

Proof. Since $e$ is a monomorphism, Corollary 4.4.5.3 immediately implies that $\theta $ is an isofibration when regarded as a functor from $\operatorname{Fun}(Q,\operatorname{\mathcal{E}})$ to $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{E}})$. Using the pullback diagram

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{Fun}(Q, \operatorname{\mathcal{E}}) \ar [d]^{\theta } \ar [r] & \operatorname{Fun}(Q, \operatorname{\mathcal{E}}) \ar [d]^{\theta } \\ \operatorname{Isom}(\operatorname{\mathcal{E}}) \ar [r] & \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{E}}), } \]

we deduce that $\theta $ is also an isofibration when regarded as a functor from $\operatorname{Fun}(Q, \operatorname{\mathcal{E}})$ to $\operatorname{Isom}(\operatorname{\mathcal{E}})$. Consequently, to show that $\theta $ is a trivial Kan fibration, it will suffice to show that it is an equivalence of $\infty $-categories (Proposition 4.5.6.20). In other words, we are reduced to proving that the morphism $e$ exhibits $Q$ as a localization of $\Delta ^1$ with respect to $W$. Let $q: Q \rightarrow \Delta ^0$ denote the projection map. Since $Q$ is contractible, the morphism $q$ is an equivalence of $\infty $-categories. By virtue of Remark 6.3.1.20, we are reduced to proving that the composite map $\Delta ^1 \xrightarrow {e} Q \xrightarrow {q} \Delta ^0$ exhibits $\Delta ^0$ as a localization of $\Delta ^1$ with respect to $W$, which follows from Example 6.3.1.14. $\square$

Remark 11.5.0.51. See Proposition 9.1.5.18 for a stronger statement.

Let $\kappa $ be an infinite cardinal and let $\{ \operatorname{\mathcal{C}}_{\alpha } \} $ be a $\kappa $-filtered diagram of simplicial sets, where each $\operatorname{\mathcal{C}}_{\alpha }$ is a $\kappa $-filtered $\infty $-category. Then the colimit $\operatorname{\mathcal{C}}= \varinjlim _{\alpha } \operatorname{\mathcal{C}}_{\alpha }$ (formed in the category of simplicial sets) is also a $\kappa $-filtered $\infty $-category. To prove this, we first observe that $\operatorname{\mathcal{C}}$ is an $\infty $-category (Remark 1.4.0.9). If $K$ is a $\kappa $-small simplicial set, then any morphism $f: K \rightarrow \operatorname{\mathcal{C}}$ factors through $f_{\alpha }: K \rightarrow \operatorname{\mathcal{C}}_{\alpha }$ for some index $\alpha $ (by virtue of our assumption that the index diagram is $\kappa $-filtered). Our assumption that $\operatorname{\mathcal{C}}_{\alpha }$ is $\kappa $-filtered then guarantees that $f_{\alpha }$ extends to a diagram $\overline{f}_{\alpha }: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}_{\alpha }$, from which it follows that $f$ extends to a diagram $\overline{f}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$.

Corollary 11.5.0.52. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: K \rightarrow \operatorname{\mathcal{C}}$ be a morphism of simplicial sets. If $\operatorname{\mathcal{C}}$ is idempotent complete, then the slice and coslice $\infty $-categories $\operatorname{\mathcal{C}}_{/f}$ and $\operatorname{\mathcal{C}}_{f/}$ are idempotent complete.

See Corollary 8.5.4.26 for a stronger assertion.

Remark 11.5.0.53. The contents of this tag are now contained in Example 8.6.9.4.

Proposition 11.5.0.54. Let $f: K \rightarrow \operatorname{\mathcal{S}}$ be a diagram. Then:

An extension $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{S}}$ is a limit diagram if and only if it is a limit diagram in the $\infty $-category $\operatorname{\mathcal{QC}}$.
An extension $\overline{f}: K^{\triangleright } \rightarrow \operatorname{\mathcal{S}}$ is a colimit diagram if and only if it is a colimit diagram in the $\infty $-category $\operatorname{\mathcal{QC}}$.

Corollary 11.5.0.55. See Remark 7.4.4.5.

Let $n$ be an integer, let $\operatorname{\mathcal{C}}$ be a simplicial set and let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$ be a diagram. Suppose that, for every vertex $C \in \operatorname{\mathcal{C}}$, the $\infty $-category $\mathscr {F}(C)$ is locally $n$-truncated. Then the limit $\varprojlim ( \mathscr {F} )$ is a locally $n$-truncated $\infty $-category.

Proof. Without loss of generality, we may assume that $\operatorname{\mathcal{C}}$ is an $\infty $-category and that $n \geq -2$. Let $\operatorname{\mathcal{E}}= \int _{\operatorname{\mathcal{C}}} \mathscr {F}$ denote the $\infty $-category of elements of $\mathscr {F}$. It follows from Variant 5.1.5.17 that the projection map $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ is an . Applying Corollary 11.5.0.10, we see that the $\infty $-category of sections $\operatorname{Fun}_{ / \operatorname{\mathcal{C}}}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{E}})$ is locally $n$-truncated. Since $\varprojlim (\mathscr {F} )$ can be identified with a full subcategory of $\operatorname{Fun}_{ / \operatorname{\mathcal{C}}}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{E}})$ (Corollary 7.4.4.2), it is also locally $n$-truncated (Remark 4.7.6.4). $\square$

Remark 11.5.0.56. In the situation of Proposition 7.4.4.12, suppose that $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ is a left fibration. Then the extension $\overline{U}: \overline{\operatorname{\mathcal{E}}} \rightarrow \operatorname{\mathcal{C}}^{\triangleleft }$ is also a left fibration. To prove this, it will suffice to show that the fiber $\overline{\operatorname{\mathcal{E}}}_{ {\bf 0} }$ is a Kan complex (Proposition 5.1.4.15). This follows from the fact that the covariant diffraction functor

\[ \mathrm{Df}: \overline{\operatorname{\mathcal{E}}}_{ {\bf 0} } \rightarrow \operatorname{Fun}_{/ \operatorname{\mathcal{C}}}^{\operatorname{CCart}}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{E}}) = \operatorname{Fun}_{ / \operatorname{\mathcal{C}}}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{E}}) \]

is an equivalence of $\infty $-categories, since the simplicial set $\operatorname{Fun}_{ / \operatorname{\mathcal{C}}}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{E}})$ is a Kan complex by (Corollary 4.4.2.5).

Remark 11.5.0.57. Let $\lambda $ be an uncountable cardinal and let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is locally $\lambda $-small. Let $\kappa = \mathrm{ecf}(\lambda )$ be the exponential cofinality of $\lambda $ and let $K$ be a $\kappa $-small simplicial set. Then, in the statements of Proposition 7.4.1.22 and Corollary 7.4.1.23, we can replace $\operatorname{\mathcal{S}}$ by the $\infty $-category $\operatorname{\mathcal{S}}^{< \lambda }$ of $\lambda $-small spaces (see Variant 7.4.1.15).

Corollary 11.5.0.58. The $\infty $-category $\operatorname{\mathcal{S}}$ is complete and cocomplete.

Proof. See Corollaries None and None. $\square$

Variant 11.5.0.59. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a left fibration of $\infty $-categories, and suppose that the fibers of $U$ are essentially $\kappa $-small for some uncountable cardinal $\kappa $. Then, in the statements of Proposition 7.4.2.13 and Corollary 7.4.2.15, we can replace $\operatorname{\mathcal{S}}$ by the $\infty $-category $\operatorname{\mathcal{S}}^{< \kappa }$ of $\kappa $-small spaces (see Variant 5.5.3.13).

Proposition 11.5.0.60. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ be a reflective subcategory. If $\operatorname{\mathcal{C}}$ has a final object $X$, then $\operatorname{\mathcal{C}}'$ contains an object which is isomorphic to $X$. In particular, if $\operatorname{\mathcal{C}}'$ is replete, then it contains every final object of $\operatorname{\mathcal{C}}$.

Remark 11.5.0.61. The conclusion of Corollary 11.5.0.62 does not require the assumption that $\operatorname{\mathcal{C}}$ is an $\infty $-category; see Corollary 8.6.3.14.

Corollary 11.5.0.62 (Uniqueness). Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cocartesian fibration of $\infty $-categories. Then $U$ admits a cartesian conjugate, which is uniquely determined up to equivalence.

Variant 11.5.0.63. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $F: K \rightarrow \operatorname{\mathcal{C}}$ be a diagram, and suppose we are given a pair of diagrams

\[ e_0, e_1: J \rightarrow \operatorname{\mathcal{C}}\vec{\times }_{ \operatorname{Fun}(K,\operatorname{\mathcal{C}}) } \{ F\} , \]

which we identify with morphisms of simplicial sets $F_0, F_1: J \diamond K \rightarrow \operatorname{\mathcal{C}}$ extending $F$ (Remark 4.6.4.11). The following conditions are equivalent:

$(1)$: The diagrams $e_0$ and $e_1$ are isomorphic when regarded as objects of the diagram $\infty $-category

\[ \operatorname{Fun}( J, \operatorname{\mathcal{C}}\vec{\times }_{ \operatorname{Fun}(K,\operatorname{\mathcal{C}})} \{ F\} ). \]
$(2)$: The diagrams $F_0$ and $F_1$ are isomorphic when regarded as objects of the $\infty $-category

\[ \operatorname{Fun}_{K/}( J \diamond K, \operatorname{\mathcal{C}}). \]

Proof. We proceed as in Lemma 4.6.4.25. Choose a categorical mapping cylinder

\[ J \coprod J \xrightarrow {(s_0, s_1)} \overline{J} \xrightarrow {\pi } J \]

for the simplicial set $J$ (Definition 4.6.3.3). Using Remark 4.6.2.7, we see that the induced diagram

\[ (J \diamond K) \coprod _{K} (J \diamond K) \xrightarrow {(s'_0, s'_1)} \overline{J} \diamond K \xrightarrow {\pi '} J \diamond K \]

is a categorical mapping cylinder for the simplicial set $J \diamond K$ relative to $K$. Using the criterion of Corollary 4.6.3.11, we see that $(1)$ and $(2)$ can be reformulated as follows:

$(1')$: There exists a diagram $\overline{e}: \overline{J} \rightarrow \operatorname{\mathcal{C}}\vec{\times }_{ \operatorname{Fun}(K,\operatorname{\mathcal{C}})} \{ F\} $ satisfying $\overline{e} \circ s_0 = e_0$ and $\overline{e} \circ s_1 = e_1$.
$(2')$: There exists a diagram $\overline{F}: \overline{J} \diamond K \rightarrow \operatorname{\mathcal{C}}$ satisfying $\overline{F} \circ s'_0 = F_0$ and $\overline{F} \circ s'_1 = F_1$.

The equivalence of $(1')$ and $(2')$ follows from Remark 4.6.4.11. $\square$

Proposition 11.5.0.64. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ be the full subcategory spanned by the subterminal objects of $\operatorname{\mathcal{C}}$. Then the construction $X \mapsto [X]$ induces a trivial Kan fibration $U: \operatorname{\mathcal{C}}' \rightarrow \operatorname{N}_{\bullet }( \operatorname{Sub}(\operatorname{\mathcal{C}}) )$.

Proof. Let $X$ and $Y$ be objects of $\operatorname{\mathcal{C}}'$. Since $Y$ is subterminal, the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}'}(X,Y) = \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is either empty or contractible. It follows that the induced map $\operatorname{Hom}_{\operatorname{\mathcal{C}}'}(X,Y) \rightarrow \operatorname{Hom}_{\operatorname{N}_{\bullet }( \operatorname{Sub}(\operatorname{\mathcal{C}}) )}( [X], [Y] )$ is a homotopy equivalence. Allowing $X$ and $Y$ to vary, we deduce that the functor $U$ is fully faithful. By construction, $U$ is surjective on objects, and therefore essentially surjective. Applying Theorem 4.8.4.1, we conclude that $U$ is an equivalence of $\infty $-categories. Since $\operatorname{N}_{\bullet }( \operatorname{Sub}(\operatorname{\mathcal{C}}) )$ is the nerve of a category, $U$ is automatically an inner fibration (Proposition 4.1.1.10). Moreover, every isomorphism in $\operatorname{N}_{\bullet }( \operatorname{Sub}(\operatorname{\mathcal{C}}) )$ is an identity morphism, so $U$ is an isofibration. Applying Proposition 4.5.6.20, we conclude that $U$ is a trivial Kan fibration. $\square$

Corollary 11.5.0.65. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. The following conditions are equivalent:

$(1)$: There exists a partially ordered set $A$ and an equivalence of $\infty $-categories $\operatorname{\mathcal{C}}\rightarrow \operatorname{N}_{\bullet }(A)$.
$(2)$: For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is either empty or contractible.
$(3)$: Every object of $\operatorname{\mathcal{C}}$ is subterminal.

Proof. The implications $(1) \Rightarrow (2)$ and $(2) \Leftrightarrow (3)$ follow immediately from the definitions. We conclude by observing that if condition $(3)$ is satisfied, then the construction $X \mapsto [X]$ induces a trivial Kan fibration $\operatorname{\mathcal{C}}\rightarrow \operatorname{N}_{\bullet }( \operatorname{Sub}(\operatorname{\mathcal{C}}) )$ (Proposition 11.5.0.64). $\square$

Question 11.5.0.66. Given a topological space $X$, what can we say about the collection of sets $\{ \operatorname{Sing}_{n}(X) \} _{n \geq 0}$, together with the face and degeneracy operators

\[ d^{n}_{i}: \operatorname{Sing}_{n}(X) \rightarrow \operatorname{Sing}_{n-1}(X) \quad \quad s^{n}_ i: \operatorname{Sing}_{n}(X) \rightarrow \operatorname{Sing}_{n+1}(X)? \]

What sort of mathematical structure do they form?

Example 11.5.0.67. For $0 \leq i \leq n$, the horn $\Lambda ^{n}_{i}$ of Construction 1.2.4.1 is given by $\Delta ^{n}_{\operatorname{\mathcal{U}}}$, where $\operatorname{\mathcal{U}}$ is the collection of all nonempty subsets of $[n]$ which are distinct from $[n]$ and $[n] \setminus \{ i \} $.

Example 11.5.0.68 (Singular Homology). For any topological space $X$, the singular homology groups $\operatorname{ \mathrm{H} }_{\ast }(X; \operatorname{\mathbf{Z}})$ are defined as the homology groups of a chain complex

\[ \cdots \xrightarrow {\partial } \operatorname{\mathbf{Z}}[ \operatorname{Sing}_{2}(X) ] \xrightarrow { \partial } \operatorname{\mathbf{Z}}[ \operatorname{Sing}_1(X) ] \xrightarrow {\partial } \operatorname{\mathbf{Z}}[ \operatorname{Sing}_0(X) ], \]

where $\operatorname{\mathbf{Z}}[ \operatorname{Sing}_ n(X) ]$ denotes the free abelian group generated by the set $\operatorname{Sing}_ n(X)$ and the differential is given on generators by the formula

\[ \partial (\sigma ) = \sum _{i = 0}^{n} (-1)^{i} d^{n}_ i \sigma . \]

Example 11.5.0.69 (The Fundamental Group). Let $X$ be a topological space equipped with a base point $x \in X \simeq \operatorname{Sing}_0(X)$. Then continuous paths $p: [0,1] \rightarrow X$ satisfying $p(0) = x = p(1)$ can be identified with elements of the set $\{ \sigma \in \operatorname{Sing}_1(X): d^{1}_0(\sigma ) = x = d^{1}_1(\sigma ) \} $. The fundamental group $\pi _1(X,x)$ can then be described as the quotient

\[ \{ \sigma \in \operatorname{Sing}_1(X): d^{1}_0(\sigma ) = x = d^{1}_1(\sigma ) \} / \simeq , \]

where $\simeq $ is the equivalence relation on $\operatorname{Sing}_1(X)$ described by

\[ ( \sigma \simeq \sigma ' ) \Leftrightarrow ( \exists \tau \in \operatorname{Sing}_2(X) ) [ d^{2}_0(\tau ) = s^{0}_0(x) \text{ and } d^{2}_1(\tau ) = \sigma \text{ and } d^{2}_2(\tau ) = \sigma ' ]. \]

The datum of a $2$-simplex $\tau $ satisfying these conditions is equivalent to the datum of a continuous map $| \Delta ^2 | \rightarrow X$ with boundary behavior as indicated in the diagram

\[ \xymatrix@R =50pt@C=50pt{ & x \ar [dr]^{ \underline{x} } \\ x \ar [ur]^{\sigma '} \ar [rr]^{\sigma } & & x; } \]

such a map can be identified with a homotopy between the paths determined by $\sigma $ and $\sigma '$.

Remark 11.5.0.70. Each of our proofs of *** gives additional information that the other does not. Our first proof shows that every simplicial set $S_{\bullet }$ can be built as a colimit of standard simplices in a very specific way: namely, by forming pushouts along boundary inclusions $\operatorname{\partial \Delta }^ n \hookrightarrow \Delta ^ n$ (for a more precise assertion, see the proof of Proposition 1.5.5.14). This extra information was used in the proof of Proposition 1.2.3.4 to show that the geometric realization $| S_{\bullet } |$ is a CW complex (and not merely a topological space which is colimit of disks). On the other hand, our second proof shows that every simplicial set $S_{\bullet }$ can be built in a single step as the colimit of a diagram of standard simplices (which can be chosen in a specific, canonical way).

Corollary 11.5.0.71. See Remark 1.1.3.13.

Variant 11.5.0.72. See Proposition 3.5.1.22.

Remark 11.5.0.73. See Proposition 3.5.1.22.

Corollary 11.5.0.74. See Remark 3.5.1.19.

Proof. Using Proposition 3.1.8.1, we can choose a commutative diagram

\[ \xymatrix@R =50pt@C=50pt{ X \ar [r] \ar [d]^{f} & X' \ar [d]^{f'} \\ Y \ar [r] & Y' } \]

where the horizontal maps are inner anodyne, $Y'$ is a Kan complex, and $f'$ is a Kan fibration. Then $f$ is $n$-connective if and only if $f'$ is $n$-connective, and $f$ is a weak homotopy equivalence if and only if $f'$ is a homotopy equivalence (Proposition 3.1.7.13). The desired result now follows by applying Proposition 3.2.7.2 to the Kan fibration $f'$. $\square$

Proposition 11.5.0.75. See Remarks 3.2.4.19 and Remark 3.5.1.11.

Remark 11.5.0.76. This is subsumed into the proof of Proposition 9.6.8.8.

Remark 11.5.0.77. Mystery.

Variant 11.5.0.78. See Proposition 11.5.0.75.

Definition 11.5.0.79. See Definition 3.2.4.1 and Definition 3.2.4.16.

Proposition 11.5.0.80. See Theorem 3.2.4.3.

Proposition 11.5.0.81. See Lemma 11.6.0.128.

Proposition 11.5.0.82. Let $Y$ be a simplicial set. The following conditions are equivalent:

$(1)$: Every morphism of simplicial sets $f: X \rightarrow Y$ is nullhomotopic.
$(2)$: Every morphism of simplicial sets $g: Y \rightarrow Z$ is nullhomotopic.
$(3)$: The identity morphism $\operatorname{id}_{Y}: Y \rightarrow Y$ is nullhomotopic.
$(4)$: The simplicial set $Y$ is contractible.

Proof. The implications $(1) \Rightarrow (3)$ and $(2) \Rightarrow (3)$ are immediate, and the reverse implications follow from Remark 3.2.4.10. To see that $(3) \Leftrightarrow (4)$, it suffices to observe that a morphism $y: \Delta ^0 \rightarrow Y$ is homotopy inverse to the projection map $Y \rightarrow \Delta ^0$ if and only if the identity morphism $\operatorname{id}_{Y}$ is homotopic to the constant morphism $Y \twoheadrightarrow \{ y\} \hookrightarrow Y$. $\square$

Remark 11.5.0.83. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a reflective localization functor. Then $F$ exhibits $\operatorname{\mathcal{D}}$ as the localization of $\operatorname{\mathcal{C}}$ with respect to some localizing collection of morphisms $W$. The collection $W$ is then uniquely determined: it is the collection of all morphisms $u: X \rightarrow Y$ of $\operatorname{\mathcal{C}}$ for which $F(u)$ is an isomorphism of $\operatorname{\mathcal{D}}$. To prove this, we can assume without loss of generality that $\operatorname{\mathcal{D}}= \operatorname{\mathcal{C}}[W^{-1}]$ is the full subcategory of $\operatorname{\mathcal{C}}$ spanned by the $W$-local objects and that $F$ is a left adjoint to the inclusion functor $\operatorname{\mathcal{C}}[W^{-1}] \hookrightarrow \operatorname{\mathcal{C}}$, in which case it follows from Proposition 11.6.0.79.

Proposition 11.5.0.84. See Remark 6.3.3.5 and Proposition 6.3.3.7.

Construction 11.5.0.85. Let $X$ be a braced simplicial set. Every nondegenerate simplex $\sigma : \Delta ^{n} \rightarrow X$ determines a functor

\[ \operatorname{Chain}[n] \simeq \operatorname{{\bf \Delta }}^{\mathrm{nd}}_{\Delta ^ n} \xrightarrow {\sigma } \operatorname{{\bf \Delta }}_{X}^{\mathrm{nd}}, \]

which we can identify with an $n$-simplex $f_0(\sigma )$ of the simplicial set $\operatorname{Ex}( \operatorname{N}_{\bullet }( \operatorname{{\bf \Delta }}_{X}^{\mathrm{nd}}) )$ (Example 3.3.2.8). The construction $\sigma \mapsto f_0(\sigma )$ determines a morphism of semisimplicial sets $f_0: X^{\mathrm{nd}} \rightarrow \operatorname{Ex}( \operatorname{N}_{\bullet }( \operatorname{{\bf \Delta }}_{X}^{\mathrm{nd}} ) )$, which extends uniquely to a map of simplicial sets $f: X \rightarrow \operatorname{Ex}( \operatorname{N}_{\bullet }( \operatorname{{\bf \Delta }}_{X}^{\mathrm{nd}} ) )$ (Proposition 3.3.1.5).

Corollary 11.5.0.86. Suppose we are given a commutative diagram of $\infty $-categories

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}\ar [r]^-{F} \ar [d]^-{q} & \operatorname{\mathcal{C}}' \ar [d]^-{q'} \\ \operatorname{\mathcal{D}}\ar [r]^-{\overline{F}} & \operatorname{\mathcal{D}}'. } \]

Assume that:

$(1)$: The functors $q$ and $q'$ are isofibrations.
$(2)$: The isofibration $q$ is locally cartesian and the functor $F$ carries locally $q$-cartesian morphisms of $\operatorname{\mathcal{C}}$ to locally $q'$-cartesian morphisms of $\operatorname{\mathcal{C}}'$.
$(3)$: The functor $\overline{F}: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{D}}'$ is an equivalence of $\infty $-categories.

Then $F$ is an equivalence of $\infty $-categories if and only if, for every object $D \in \operatorname{\mathcal{D}}$ having image $D' = \overline{F}(D) \in \operatorname{\mathcal{D}}'$, the induced map of fibers $F_{D}: \operatorname{\mathcal{C}}_{D} \rightarrow \operatorname{\mathcal{C}}'_{D'}$ is an equivalence of $\infty $-categories. Moreover, if this condition is satisfied, then $q'$ is also a locally cartesian fibration.

Proof. If $F$ is an equivalence of $\infty $-categories, then Corollary 4.5.3.31 guarantees that each $F_{D}$ is an equivalence of $\infty $-categories. The converse follows by combining Proposition 5.1.6.7. $\square$

*** snip

Corollary 11.5.0.87. Let $q: X \rightarrow S$ be a locally cartesian fibration of simplicial sets, let $K$ be a simplicial set, and let $q': S \times _{ \operatorname{Fun}(B,S) } \operatorname{Fun}(B,X) \rightarrow S$ be the projection map onto the first factor. Then:

$(1)$: The morphism $q'$ is a locally cartesian fibration of simplicial sets.
$(2)$: Let $e$ be an edge of the simplicial set $S \times _{ \operatorname{Fun}(B,S)} \operatorname{Fun}(B,X)$. Then $e$ is locally $q'$-cartesian if and only if, for every vertex $b \in B$, the image of $e$ under the evaluation functor $S \times _{ \operatorname{Fun}(B,S) } \operatorname{Fun}(B,X) \rightarrow \operatorname{Fun}( \{ b\} , X) \simeq X$ is locally $q$-cartesian.

Proof. By virtue of Remark 5.1.5.6, we may assume without loss of generality that $S = \Delta ^1$. In this case, $q$ is a cartesian fibration. The desired result now follows by combining Theorem 5.2.1.1 with Remark 5.1.4.6. $\square$

Remark 11.5.0.88. See Corollary 8.4.5.2.

Lemma 11.5.0.89. Let $H: \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}$ be a fully faithful functor of $\infty $-categories. Suppose that every object $Y \in \widehat{\operatorname{\mathcal{C}}}$ is a retract of $H(X)$, for some object $X \in \operatorname{\mathcal{C}}$. Then, for any $\infty $-category $\operatorname{\mathcal{D}}$, precomposition with $H$ determines a fully faithful functor $\theta : \operatorname{Fun}( \widehat{\operatorname{\mathcal{C}}}, \operatorname{\mathcal{D}}) \rightarrow \operatorname{Fun}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$. Moreover, the essential image of $\theta $ consists of those functors $G: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ which satisfy the following condition:

$(\ast )$: For every functor $F: \operatorname{N}_{\bullet }( \operatorname{Idem}) \rightarrow \operatorname{\mathcal{C}}$, if $H \circ F$ is a split idempotent in $\widehat{\operatorname{\mathcal{C}}}$, then $G \circ F$ is a split idempotent in $\operatorname{\mathcal{D}}$.

Proof. Without loss of generality, we may assume that $\operatorname{\mathcal{C}}$ is a full subcategory of $\widehat{\operatorname{\mathcal{C}}}$ and that $H$ is the inclusion functor. Let $\operatorname{Fun}'( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$ denote the full subcategory of $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$ spanned by those functors $G: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ which admit an extension $\widehat{G}: \widehat{\operatorname{\mathcal{C}}} \rightarrow \operatorname{\mathcal{D}}$. It follows from Proposition 8.5.1.8 that, in this case, the functor $\widehat{G}$ is automatically left (and right) Kan extended from $\operatorname{\mathcal{C}}$. Applying Corollary 7.3.6.15, we deduce that the restriction functor $\theta : \operatorname{Fun}( \widehat{\operatorname{\mathcal{C}}}, \operatorname{\mathcal{D}}) \rightarrow \operatorname{Fun}'(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$ is a trivial Kan extension. Note that any functor $\widehat{G}: \widehat{\operatorname{\mathcal{C}}} \rightarrow \operatorname{\mathcal{D}}$ carries split idempotents in $\widehat{\operatorname{\mathcal{C}}}$ to split idempotents in $\operatorname{\mathcal{D}}$, so that $G = \widehat{G}|_{\operatorname{\mathcal{C}}}$ satisfies condition $(\ast )$. To complete the proof, it will suffice to prove the reverse implication. Fix a functor $G: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ which satisfies condition $(\ast )$; we wish to show that $G$ admits an extension $\widehat{G}: \widehat{\operatorname{\mathcal{C}}} \rightarrow \operatorname{\mathcal{D}}$.

Choose an uncountable regular cardinal $\kappa $ for which $\operatorname{\mathcal{C}}$ is essentially $\kappa $-small. Using Proposition 8.5.4.11, we can choose a fully faithful functor $H': \operatorname{\mathcal{D}}\rightarrow \widehat{\operatorname{\mathcal{D}}}$, where the $\infty $-category $\widehat{\operatorname{\mathcal{D}}}$ admits $\kappa $-small colimits. Replacing $\operatorname{\mathcal{D}}$ by the essential image of $H'$, we may assume without loss of generality that $\operatorname{\mathcal{D}}$ is a replete full subcategory of $\widehat{\operatorname{\mathcal{D}}}$. Invoking Proposition 7.6.6.19, we deduce that the functor $G: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}\subseteq \widehat{\operatorname{\mathcal{D}}}$ admits a left Kan extension $\widehat{G}: \widehat{\operatorname{\mathcal{C}}} \rightarrow \widehat{\operatorname{\mathcal{D}}}$. We will complete the proof by showing that $\widehat{G}$ factors through $\operatorname{\mathcal{D}}$.

Fix an object $Y \in \widehat{\operatorname{\mathcal{C}}}$; we wish to show that $\widehat{G}(Y)$ belongs to $\operatorname{\mathcal{D}}$. By assumption, there exists a retraction diagram

11.7

\begin{equation} \begin{gathered}\label{equation:universal-mapping-property-of-idempotent-completion} \xymatrix@R =50pt@C=50pt{ & Y \ar [dr]^{i} & \\ X \ar [ur]^{r} \ar [rr]^{ \operatorname{id}_{X} } & & X } \end{gathered} \end{equation}

in $\widehat{\operatorname{\mathcal{C}}}$, where the object $X$ belongs to $\operatorname{\mathcal{C}}$. Using Corollary 8.5.1.31, we can extend (11.7) to a functor $\overline{F}: \operatorname{N}_{\bullet }( \operatorname{Ret}) \rightarrow \overline{\operatorname{\mathcal{C}}}$. Then $F = \overline{F}|_{ \operatorname{N}_{\bullet }( \operatorname{Idem}) }$ is an idempotent in $\operatorname{\mathcal{C}}$ which splits in $\widehat{\operatorname{\mathcal{C}}}$. Invoking assumption $(\ast )$, we deduce that $G \circ F$ is a split idempotent in $\operatorname{\mathcal{D}}$. That is, there exists a functor $\overline{F}': \operatorname{N}_{\bullet }( \operatorname{Ret}) \rightarrow \operatorname{\mathcal{D}}$ satisfying $\overline{F}' |_{ \operatorname{N}_{\bullet }( \operatorname{Idem}) } = G \circ F$. Applying Corollary 8.5.3.10, we deduce that $\widehat{G} \circ \overline{F}$ is isomorphic to $\overline{F}'$ as an object of the $\infty $-category $\operatorname{Fun}( \operatorname{N}_{\bullet }( \operatorname{Ret}), \widehat{\operatorname{\mathcal{D}}} )$. Evaluating on the final object of $\operatorname{Ret}$, we deduce that $\widehat{G}(Y)$ is isomorphic to an object of $\operatorname{\mathcal{D}}$ and therefore belongs to $\operatorname{\mathcal{D}}$ (since the full subcategory $\operatorname{\mathcal{D}}\subseteq \widehat{\operatorname{\mathcal{D}}}$ was assumed to be replete). $\square$

Remark 11.5.0.90. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\widehat{\operatorname{\mathcal{C}}}$ be an idempotent completion of $\operatorname{\mathcal{C}}$. Then any $\infty $-category $\widehat{\operatorname{\mathcal{C}}}'$ which is equivalent to $\widehat{\operatorname{\mathcal{C}}}$ is also an idempotent completion of $\operatorname{\mathcal{C}}$. More precisely, if $G: \widehat{\operatorname{\mathcal{C}}} \rightarrow \widehat{\operatorname{\mathcal{C}}}'$ is an equivalence of $\infty $-categories, then a functor $H: \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}$ exhibits $\widehat{\operatorname{\mathcal{C}}}$ as an idempotent completion of $\operatorname{\mathcal{C}}$ if and only if the composite functor $(G \circ H): \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}'$ exhibits $\widehat{\operatorname{\mathcal{C}}}'$ as an idempotent completion of $\operatorname{\mathcal{C}}$.

Remark 11.5.0.91 (Isomorphism Invariance). Let $H: \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}$ be a functor of $\infty $-categories, and let $H': \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}$ be another functor which is isomorphic to $H$ (as an object of the $\infty $-category $\operatorname{Fun}( \operatorname{\mathcal{C}}, \widehat{\operatorname{\mathcal{C}}} )$). Then $H$ exhibits $\widehat{\operatorname{\mathcal{C}}}$ as an idempotent completion of $\operatorname{\mathcal{C}}$ if and only if $H'$ exhibits $\widehat{\operatorname{\mathcal{C}}}$ as an idempotent completion of $\operatorname{\mathcal{C}}$.

Remark 11.5.0.92. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories, and let $\operatorname{\mathcal{C}}\star _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}$ denote the relative join of Construction 5.2.3.1. Then $F$ is dense if and only if the projection map $\operatorname{\mathcal{C}}\star _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{D}}$ is left Kan extended from $\operatorname{\mathcal{C}}$. See Proposition 7.3.2.11.

Remark 11.5.0.93. Stated more informally, Theorem 8.4.0.3 asserts that the $\infty $-category $\operatorname{Fun}( \operatorname{\mathcal{C}}^{\operatorname{op}}, \operatorname{\mathcal{S}})$ can be obtained from $\operatorname{\mathcal{C}}$ by “freely” adjoining small colimits.

Remark 11.5.0.94. Let $f: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories, where $\operatorname{\mathcal{C}}$ is essentially small and $\operatorname{\mathcal{D}}$ admits small colimits. Fix a covariant Yoneda embedding $h_{\bullet }: \operatorname{\mathcal{C}}\rightarrow \operatorname{Fun}( \operatorname{\mathcal{C}}^{\operatorname{op}}, \operatorname{\mathcal{S}})$. Theorem 8.4.0.3 implies that $f$ is isomorphic to the composition $F \circ h_{\bullet }$, for some functor $F: \operatorname{Fun}( \operatorname{\mathcal{C}}^{\operatorname{op}}, \operatorname{\mathcal{S}}) \rightarrow \operatorname{\mathcal{D}}$ which preserves small colimits. Moreover, the functor $F$ is uniquely determined up to isomorphism.

Proposition 11.5.0.95. The contents of this tag are now at Proposition 5.1.5.14.

Proposition 11.5.0.96. The contents of this tag are now (mostly) at Proposition 11.5.0.96.

Remark 11.5.0.97. In the situation of Proposition 11.5.0.96, condition $(\star )$ is automatically satisfied if $V$ is a cartesian fibration of simplicial sets.

Example 11.5.0.98. Let $X$ be a Kan complex, which we regard as an object of the $\infty $-category $\operatorname{\mathcal{S}}$ of spaces (Construction 3.1.6.1). Then:

The Kan complex $X$ is an initial object of the $\infty $-category $\operatorname{\mathcal{S}}$ if and only if it is empty.
The Kan complex $X$ is a final object of the $\infty $-category $\operatorname{\mathcal{S}}$ if and only if it is contractible.

Corollary 11.5.0.99. Let $U: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{C}}$ be a morphism of simplicial sets. Then the pullback functor

\[ U^{\ast }: (\operatorname{Set_{\Delta }})_{/\operatorname{\mathcal{C}}} \rightarrow (\operatorname{Set_{\Delta }})_{/\operatorname{\mathcal{D}}} \quad \quad \operatorname{\mathcal{C}}' \mapsto \operatorname{\mathcal{C}}' \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{D}} \]

has a right adjoint, given on objects by the construction $\operatorname{\mathcal{E}}\mapsto \operatorname{Res}_{\operatorname{\mathcal{D}}/\operatorname{\mathcal{C}}}(\operatorname{\mathcal{E}})$.

Corollary 11.5.0.100. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $U: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ be a functor of $\infty $-categories, and let $\operatorname{\mathcal{C}}^{0} \subseteq \operatorname{\mathcal{C}}$ be a full subcategory. Let $F,G: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be functors having restrictions $F_0 = F|_{\operatorname{\mathcal{C}}^{0}}$ and $G_0 = G|_{\operatorname{\mathcal{C}}^{0}}$, and suppose that $U \circ F = U \circ G$. If $F$ is $U$-left Kan extended from $\operatorname{\mathcal{C}}^{0}$ or $G$ is $U$-right Kan extended from $\operatorname{\mathcal{C}}^{0}$, then the restriction map

\[ \operatorname{Hom}_{ \operatorname{Fun}_{ /\operatorname{\mathcal{E}}}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}}) }( F, G ) \rightarrow \operatorname{Hom}_{ \operatorname{Fun}_{ /\operatorname{\mathcal{E}}}( \operatorname{\mathcal{C}}^{0}, \operatorname{\mathcal{D}}) }( F_0, G_0 ) \]

is a homotopy equivalence of Kan complexes.

Remark 11.5.0.101. Let $F: \operatorname{\mathcal{D}}' \rightarrow \operatorname{\mathcal{D}}$ and $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{C}}$ be functors of $\infty $-categories, let $\mathscr {K}: \operatorname{\mathcal{C}}^{\operatorname{op}} \times \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{S}}$ be a profunctor from $\operatorname{\mathcal{D}}$ to $\operatorname{\mathcal{C}}$, and let $\mathscr {K}'$ denote the composition

\[ \operatorname{\mathcal{C}}^{\operatorname{op}} \times \operatorname{\mathcal{D}}' \xrightarrow {\operatorname{id}\times F} \operatorname{\mathcal{C}}^{\operatorname{op}} \times \operatorname{\mathcal{D}}\xrightarrow { \mathscr {K} } \operatorname{\mathcal{S}}, \]

which we regard as a profunctor from $\operatorname{\mathcal{D}}'$ to $\operatorname{\mathcal{C}}$. If $\beta : \underline{ \Delta ^0 } \rightarrow \mathscr {K}|_{ \operatorname{Tw}( \operatorname{\mathcal{D}})}$ is a natural transformation which exhibits $\mathscr {K}$ as represented by $G$, then the restriction $\beta |_{ \operatorname{Tw}( \operatorname{\mathcal{D}}' )}$ exhibits $\mathscr {K}'$ as represented by $G \circ F$.

Corollary 11.5.0.102. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $(\mathscr {H}, \alpha )$ be a $\operatorname{Hom}$-functor for $\operatorname{\mathcal{C}}$, let $f: X \rightarrow Y$ be a morphism of $\operatorname{\mathcal{C}}$. Then the following conditions are equivalent:

$(1)$: The morphism $f$ is an isomorphism in the $\infty $-category $\operatorname{\mathcal{C}}$
$(2)$: The vertex $\alpha (f) \in \mathscr {H}(X,Y)$ exhibits the functor $\mathscr {H}(X, -): \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ as corepresented by $Y$.
$(3)$: The vertex $\alpha (f) \in \mathscr {H}(X,Y)$ exhibits the functor $\mathscr {H}(-, Y): \operatorname{\mathcal{C}}^{\operatorname{op}} \rightarrow \operatorname{\mathcal{S}}$ as represented by $X$.

Corollary 11.5.0.103. The contents of this tag are now contained in Proposition 7.6.6.15.

Remark 11.5.0.104. In the statement of Theorem 5.6.6.13, we can replace the smallness assumption on $\operatorname{\mathcal{C}}$ by the weaker assumption that for every object $Y \in \operatorname{\mathcal{C}}$, the Kan complex $\operatorname{Hom}_{\operatorname{\mathcal{C}}}( X, Y)$ is essentially small. Note that this latter condition cannot be omitted: if $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ is corepresentable by $X$, then $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is homotopy equivalent to the small Kan complex $\mathscr {F}(Y)$.

Example 11.5.0.105. Let $\operatorname{\mathcal{C}}$ be a $2$-category, let $\operatorname{N}_{\bullet }^{\operatorname{D}}(\operatorname{\mathcal{C}})$ denote its Duskin nerve (Construction 2.3.1.1), and let $X$ and $Y$ be objects of $\operatorname{\mathcal{C}}$ (which we identify with vertices of the simplicial set $\operatorname{N}_{\bullet }^{\operatorname{D}}(\operatorname{\mathcal{C}})$). Specializing Remark 8.1.8.5 to the case where $\operatorname{\mathcal{A}}$ is the linearly ordered set $[n] = \{ 0 < 1 < \cdots < n \} $, we obtain a bijection

\[ \xymatrix@R =50pt@C=50pt{ \{ \textnormal{$n$-simplices of $\operatorname{Cospan}( \operatorname{N}_{\bullet } \underline{\operatorname{Hom}}_{\operatorname{\mathcal{C}}}(X,Y) )$} \} \ar [d]^{\sim } \\ \{ \textnormal{$n$-simplices of $\operatorname{Hom}_{\operatorname{N}_{\bullet }^{\operatorname{D}}(\operatorname{\mathcal{C}})}(X,Y)$} \} . } \]

In other words, we can identify $n$-simplices of $\operatorname{Hom}_{\operatorname{N}_{\bullet }^{\operatorname{D}}(\operatorname{\mathcal{C}})}(X,Y)$ with commutative diagrams

\[ \xymatrix@C =20pt{ f_{0,0} \ar@ {=>}[dr] & & f_{1,1} \ar@ {=>}[dl] \ar@ {=>}[dr] & & \cdots \ar@ {=>}[dl] \ar@ {=>}[dr] & & f_{n-1,n-1} \ar@ {=>}[dl] \ar@ {=>}[dr] & & f_{n,n} \ar@ {=>}[dl] \\ & \cdots \ar@ {=>}[dr] & & \cdots \ar@ {=>}[dr] \ar@ {=>}[dl] & & \cdots \ar@ {=>}[dl] \ar@ {=>}[dr] & & \cdots \ar@ {=>}[dl] & \\ & & f_{0,n-2} \ar@ {=>}[dr] & & f_{1,n-1} \ar@ {=>}[dl] \ar@ {=>}[dr] & & f_{2,n} \ar@ {=>}[dl] & & \\ & & & f_{0,n-1} \ar@ {=>}[dr] & & f_{1,n} \ar@ {=>}[dl] & & & \\ & & & & f_{0,n} & & & & } \]

in the category $\underline{\operatorname{Hom}}_{\operatorname{\mathcal{C}}}(X,Y)$.

Remark 11.5.0.106. Let $X$ and $Y$ be objects of $\operatorname{\mathcal{C}}$, which we identify with vertices of the simplicial set $\operatorname{N}_{\bullet }^{\operatorname{D}}(\operatorname{\mathcal{C}})$. Using Example 11.5.0.105, we can identify $n$-simplices $\sigma $ of the simplicial set $\operatorname{Hom}_{\operatorname{N}_{\bullet }^{\operatorname{D}}(\operatorname{\mathcal{C}})}( X, Y)$ with commutative diagrams . Allowing $[n] \in \operatorname{{\bf \Delta }}$ to vary, we obtain canonical isomorphisms of simplicial sets

\[ \operatorname{Hom}_{\operatorname{N}_{\bullet }^{\operatorname{D}}(\operatorname{\mathcal{C}})}^{\mathrm{L}}( X, Y) \simeq \operatorname{N}_{\bullet }( \underline{\operatorname{Hom}}_{\operatorname{\mathcal{C}}}(X,Y) ) \quad \quad \operatorname{Hom}_{\operatorname{N}_{\bullet }^{\operatorname{D}}(\operatorname{\mathcal{C}})}^{\mathrm{R}}( X, Y) \simeq \operatorname{N}_{\bullet }( \underline{\operatorname{Hom}}_{\operatorname{\mathcal{C}}}(X,Y) )^{\operatorname{op}}. \]

Proposition 11.5.0.107. See Proposition 5.6.6.19.

Remark 11.5.0.108. Let $\operatorname{\mathcal{C}}$ be a category which admits pushouts. Stated more informally, Proposition None asserts that $n$-simplices of the Duskin nerve $\operatorname{N}_{\bullet }^{\operatorname{D}}( \operatorname{Corr}(\operatorname{\mathcal{C}}) )$ can be identified with commutative diagrams

\[ \xymatrix@R =25pt@C=25pt{ & & & X_{0,n} \ar [dl] \ar [dr] & & & \\ & & \cdots \ar [dl] \ar [dr] & & \cdots \ar [dl] \ar [dr] & & \\ & X_{0,1} \ar [dl] \ar [dr] & & \cdots \ar [dl]\ar [dr] & & X_{n-1,n} \ar [dl] \ar [dr] & \\ X_{0,0} & & X_{1,1} & \cdots & X_{n-1,n-1} & & X_{n,n} } \]

in the category $\operatorname{\mathcal{C}}$.

Question 11.5.0.109. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cocartesian fibration of $\infty $-categories. Can the $\infty $-category $\operatorname{\mathcal{E}}$ be reconstructed (up to equivalence) from the $\infty $-category $\operatorname{\mathcal{C}}$ and the homotopy transport representation $\operatorname{hTr}_{\operatorname{\mathcal{E}}/\operatorname{\mathcal{C}}}: \operatorname {h}\! \mathit{\operatorname{\mathcal{C}}} \rightarrow \operatorname {h}\! \mathit{\operatorname{QCat}}$?

Theorem 11.5.0.110. See Theorem 5.3.5.7.

Proposition 11.5.0.111. For a stronger result, see Theorem 5.3.5.7.

Exercise 11.5.0.112. This exercise is now carried out in the text (Theorem 11.5.0.110).

Exercise 11.5.0.113. Suppose we are given a finite sequence of $\infty $-categories $\{ \operatorname{\mathcal{E}}(m) \} _{0 \leq im \leq n}$ and functors

\[ \operatorname{\mathcal{E}}(0) \xrightarrow { F(1) } \operatorname{\mathcal{E}}(1) \xrightarrow { F(2) } \operatorname{\mathcal{E}}(2) \rightarrow \cdots \xrightarrow {F(n)} \operatorname{\mathcal{E}}(n). \]

Let $\operatorname{\mathcal{E}}$ denote the iterated relative join

\[ ((( \operatorname{\mathcal{E}}(0) \star _{\operatorname{\mathcal{E}}(1)} \operatorname{\mathcal{E}}(1) ) \star _{\operatorname{\mathcal{E}}(2)} \operatorname{\mathcal{E}}(2)) \star \cdots ) \star _{\operatorname{\mathcal{E}}(n)} \operatorname{\mathcal{E}}(n). \]

Show that the associated projection map $U: \operatorname{\mathcal{E}}\rightarrow \Delta ^ n$ is a cocartesian fibration whose homotopy transport representation $\operatorname{hTr}_{U}: [n] \rightarrow \operatorname {h}\! \mathit{\operatorname{QCat}}$ is the diagram

\[ \operatorname{\mathcal{E}}(0) \xrightarrow { [F(1)] } \operatorname{\mathcal{E}}(1) \xrightarrow { [F(2)] } \operatorname{\mathcal{E}}(2) \rightarrow \cdots \xrightarrow {[F(n)]} \operatorname{\mathcal{E}}(n). \]

For a more general statement, see Proposition 11.6.0.147 and Remark 5.3.3.22.

Remark 11.5.0.114. In the special case $\operatorname{\mathcal{C}}= [1]$, Proposition 11.6.0.147 reduces to Proposition 5.2.3.15. In the case $\operatorname{\mathcal{C}}= [n]$, it reduces to *** (see Variant 11.5.0.115).

Variant 11.5.0.115. Let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set_{\Delta }}$ be a functor and let $\sigma $ be an $n$-simplex of $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$, corresponding to a diagram

\[ C_0 \rightarrow C_1 \rightarrow C_2 \rightarrow \cdots \rightarrow C_ n \]

in the category $\operatorname{\mathcal{C}}$. Using Remark 5.3.3.7 and Example 5.3.3.12, we obtain an isomorphism of simplicial sets

\[ \Delta ^ n \times _{\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \simeq ((( \mathscr {F}(C_0) \star _{ \mathscr {F}(C_1)} \mathscr {F}(C_1)) \star _{ \mathscr {F}(C_2)} \mathscr {F}(C_2)) \star \cdots ) \star _{\mathscr {F}(C_ n)} \mathscr {F}(C_ n). \]

Example 11.5.0.116. Let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{N}_{\bullet }(\operatorname{Set})$ be a morphism of simplicial sets, and let $\int _{\operatorname{\mathcal{C}}} \mathscr {F}$ be the simplicial set given by Definition 5.6.2.1, so that the projection map $\int _{\operatorname{\mathcal{C}}} \mathscr {F} \rightarrow \operatorname{\mathcal{C}}$ is a left covering map (see Example 5.6.2.8). Then the covariant transport representation $\operatorname{Tr}_{ \int _{\operatorname{\mathcal{C}}} \mathscr {F} / \operatorname{\mathcal{C}}}$ is canonically isomorphic to the functor $\operatorname {h}\! \mathit{\mathscr {F}}: \operatorname {h}\! \mathit{\operatorname{\mathcal{C}}} \rightarrow \operatorname{Set}$ induced by $\mathscr {F}$.

Remark 11.5.0.117. We will see later that if $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ is a cocartesian fibration of $\infty $-categories, then the homotopy transport representation $\operatorname{hTr}_{\operatorname{\mathcal{E}}/\operatorname{\mathcal{C}}}: \operatorname {h}\! \mathit{\operatorname{\mathcal{C}}} \rightarrow \operatorname {h}\! \mathit{\operatorname{QCat}}$ can be refined to a functor of $\infty $-categories $\operatorname{Tr}_{\operatorname{\mathcal{E}}/\operatorname{\mathcal{C}}}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$, which we will refer to as the covariant transport representation of $U$ (see Definition 5.6.5.1). Moreover, the refined analogues of Questions 11.5.0.109 and Question 5.2.0.7 both have positive answers:

A cocartesian fibration of $\infty $-categories $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ can be recovered (up to equivalence) from the transport representation $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$.
Every functor of $\infty $-categories $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$ can be obtained (up to isomorphism) as the transport representation of a cocartesian fibration $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$. Moreover, there is an explicit realization of $\operatorname{\mathcal{E}}$ as the $\infty $-category of elements $\int _{\operatorname{\mathcal{C}}} \mathscr {F}$ (see Definition 5.6.2.1).

From this perspective, the negative answers to Questions 11.5.0.109 and 5.2.0.7 are due to the fact that a functor of ordinary categories $\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}} \rightarrow \operatorname {h}\! \mathit{\operatorname{QCat}}$ cannot generally be lifted to a functor of $\infty $-categories $\operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$, and that such a lifting need not be unique when it exists.

Proposition 11.5.0.118. The contents of this tag are now (mostly) at Proposition 5.3.1.21.

Corollary 11.5.0.119. See Proposition 5.3.1.21.

Example 11.5.0.120. The contents of this tag are now at Corollary 5.6.7.6.

Corollary 11.5.0.121. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $f: X \rightarrow Y$ be a morphism in $\operatorname{\mathcal{C}}$, and suppose that the object $X$ belongs to a full subcategory $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$. The following conditions are equivalent:

$(1)$: The morphism $f$ exhibits $X$ as a $\operatorname{\mathcal{C}}'$-coreflection of $Y$ (see Definition 6.2.2.6).
$(2)$: The morphism $f$ is final when regarded as an object of the $\infty $-category $\operatorname{\mathcal{C}}' \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/Y}$.

In particular, an object $X \in \operatorname{\mathcal{C}}'$ is a $\operatorname{\mathcal{C}}'$-reflection of $Y \in \operatorname{\mathcal{C}}$ if and only if it represents the right fibration $\operatorname{\mathcal{C}}' \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/Y} \rightarrow \operatorname{\mathcal{C}}'$.

Proof. Let us regard the object $Y \in \operatorname{\mathcal{C}}$ as fixed, and let $\theta : \operatorname{\mathcal{C}}' \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/Y} \rightarrow \operatorname{\mathcal{C}}'$ be the right fibration given by projection onto the first factor. Using Example 5.2.8.13, we can identify the enriched homotopy transport representation of $\theta $ with the $\operatorname {h}\! \mathit{\operatorname{Kan}}$-enriched functor $(X \in \operatorname {h}\! \mathit{\operatorname{\mathcal{C}}'}) \mapsto \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$. The desired result now follows from the criterion of Proposition 5.6.6.21. $\square$

Remark 11.5.0.122. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, and let us regard the homotopy category $\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}$ as enriched over the homotopy category of Kan complexes $\operatorname {h}\! \mathit{\operatorname{Kan}}$ (see Construction 4.6.8.13). Every functor of $\infty $-categories $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ induces an $\operatorname {h}\! \mathit{\operatorname{Kan}}$-enriched functor $\operatorname {h}\! \mathit{\mathscr {F}}: \operatorname {h}\! \mathit{\operatorname{\mathcal{C}}} \rightarrow \operatorname {h}\! \mathit{\operatorname{\mathcal{S}}} = \operatorname {h}\! \mathit{\operatorname{Kan}}$. Moreover, if $X$ is an object of $\operatorname{\mathcal{C}}$, then every vertex $x \in \mathscr {F}(X)$ determines a natural transformation of $\operatorname {h}\! \mathit{\operatorname{Kan}}$-enriched functors $\underline{\operatorname{Hom}}_{\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}}( X, \bullet ) \rightarrow \operatorname {h}\! \mathit{\mathscr {F}}(\bullet )$, which is an isomorphism if and only if $x$ exhibits $\mathscr {F}$ as corepresented by $X$. Consequently, $\mathscr {F}$ is corepresentable by $X$ if and only if $\operatorname {h}\! \mathit{\mathscr {F}}$ is isomorphic to $\underline{\operatorname{Hom}}_{\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}}( X, \bullet )$ as an $\operatorname {h}\! \mathit{\operatorname{Kan}}$-enriched functor.

Variant 11.5.0.123. See Definition 11.4.0.22.

Remark 11.5.0.124. Suppose we are given a commutative diagram of simplicial sets

11.8

\begin{equation} \label{diagram:categorical-pushout-square2} \begin{gathered} \xymatrix@R =50pt@C=50pt{ A \ar [r]^-{f} \ar [d] & B \ar [d] \\ C \ar [r] & D. } \end{gathered} \end{equation}

Using Exercise 3.1.8.11, we can factor $f$ as a composition $A \xrightarrow {f'} B' \xrightarrow {w} B$, where $f'$ is a monomorphism and $w$ is a trivial Kan fibration (and therefore also a categorical equivalence, by virtue of Proposition 4.5.4.11). Combining Propositions 4.5.5.11 and 4.5.5.9, we conclude that diagram (11.8) is a categorical pushout square if and only if the induced map $u: C \coprod _{A} B' \rightarrow D$ is a categorical equivalence In particular, the condition that $u$ is a categorical equivalence does not depend on the choice of factorization $f = w \circ f'$.

Remark 11.5.0.125. Suppose we are given a commutative diagram of simplicial sets

11.9

\begin{equation} \label{diagram:homotopy-pushout-square2} \begin{gathered} \xymatrix@R =50pt@C=50pt{ A \ar [r]^-{f} \ar [d] & B \ar [d] \\ C \ar [r] & D. } \end{gathered} \end{equation}

Using Exercise 3.1.8.11, we can factor $f$ as a composition $A \xrightarrow {f'} B' \xrightarrow {w} B$, where $f'$ is a monomorphism and $w$ is a weak homotopy equivalence (in fact, we can even arrange that $w$ is a trivial Kan fibration). Combining Propositions 3.4.2.11 and 3.4.2.9, we conclude that diagram (11.9) is a homotopy pushout square if and only if the induced map $u: C \coprod _{A} B' \rightarrow D$ is a weak homotopy equivalence. In particular, the condition that $u$ is a weak homotopy equivalence does not depend on the choice of factorization $f = w \circ f'$.

Exercise 11.5.0.126 (Invariance of the Homotopy Fiber Product). The contents of this tag are now at Corollary 3.4.2.15.

Proposition 11.5.0.127. The contents of this tag are now located at Corollary 3.4.2.13.

Warning 11.5.0.128. Suppose we are given a commutative diagram of simplicial sets

\[ \xymatrix@R =50pt@C=50pt{ C \ar [d] & A \ar [d] \ar [l] \ar [r] & B \ar [d] \\ C' & A' \ar [l] \ar [r] & B' } \]

in which the vertical maps are weak homotopy equivalences. Then the induced map $C \coprod _{A} B \rightarrow C' \coprod _{A'} B'$ need not be a weak homotopy equivalence. For example, the pushout of the upper half of the diagram

\[ \xymatrix@R =50pt@C=50pt{ \Delta ^1 \ar [d] & \operatorname{\partial \Delta }^{1} \ar [l] \ar [r] \ar@ {=}[d] & \Delta ^1 \ar [d] \\ \Delta ^0 & \operatorname{\partial \Delta }^{1} \ar [l] \ar [r] & \Delta ^0 } \]

is not weakly contractible (it has nontrivial homology in degree $1$), but the pushout of the lower half is isomorphic to $\Delta ^0$.

Exercise 11.5.0.129 (Symmetry). Let $T \rightarrow S \leftarrow X$ be a diagram of simplicial sets. Show that the homotopy fiber products $T \times _{S}^{h} X$ and $X \times _{S}^{h} T$ have the same weak homotopy type (see Proposition 3.4.1.9 for a related statement).

Corollary 11.5.0.130. Suppose we are given a commutative diagram of $\infty $-categories

\[ \xymatrix { \operatorname{\mathcal{C}}' \ar [r]^-{F'} \ar [d] & \operatorname{\mathcal{D}}' \ar [r] \ar [d] & \operatorname{\mathcal{E}}' \ar [d] \\ \operatorname{\mathcal{C}}\ar [r]^-{F} & \operatorname{\mathcal{D}}\ar [r]^-{G} & \operatorname{\mathcal{E}}} \]

where both squares are pullbacks. Assume that $G$ and $G \circ F$ are isofibrations. If $F$ is an equivalence of $\infty $-categories, then $F'$ is an equivalence of $\infty $-categories.

Proof. We will verify that $F'$ satisfies the criterion of Theorem 4.8.4.6. Let $X$ be a simplicial set, and consider the commutative diagram of Kan complexes

\[ \xymatrix { \operatorname{Fun}(X,\operatorname{\mathcal{C}}')^{\simeq } \ar [r]^-{F'_ X} \ar [d] & \operatorname{Fun}(X,\operatorname{\mathcal{D}}')^{\simeq } \ar [r] \ar [d] & \operatorname{Fun}(X,\operatorname{\mathcal{E}}')^{\simeq } \ar [d] \\ \operatorname{Fun}(X,\operatorname{\mathcal{C}})^{\simeq } \ar [r]^-{F_ X} & \operatorname{Fun}(X,\operatorname{\mathcal{D}})^{\simeq } \ar [r]^-{G_ X} & \operatorname{Fun}(X,\operatorname{\mathcal{E}})^{\simeq }. } \]

We wish to show that the morphism $F'_{X}$ is a homotopy equivalence. Using Corollaries 4.4.5.6 and 4.4.3.19, we see that the right square and outer rectangle are homotopy pullback diagrams. It follows that the left square is also a homotopy pullback diagram (Proposition 3.4.1.11). Since $F$ is an equivalence of $\infty $-categories, the morphism $F_{X}$ is a homotopy equivalence of Kan complexes (Theorem 4.8.4.6). Applying Corollary 3.4.1.5, we deduce that $F'_{X}$ is also a homotopy equivalence of Kan complexes. $\square$

Corollary 11.5.0.131. The contents of this tag are now contained in Corollary 7.1.5.21.

Definition 11.5.0.132. Let $\operatorname{\mathcal{C}}$ be a category. An initial object of $\operatorname{\mathcal{C}}$ is an object $Y \in \operatorname{\mathcal{C}}$ with the property that, for every object $Z \in \operatorname{\mathcal{C}}$, there is a unique morphism $Y \rightarrow Z$: that is, the set $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)$ has exactly one element. A final object of $\operatorname{\mathcal{C}}$ is an object $Y \in \operatorname{\mathcal{C}}$ with the property that, for every object $X \in \operatorname{\mathcal{C}}$, the set $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ has exactly one element.

Remark 11.5.0.133. Let $\operatorname{\mathcal{C}}$ be a category. Then an object $Y \in \operatorname{\mathcal{C}}$ is initial if and only if it is a colimit of the unique diagram $\emptyset \rightarrow \operatorname{\mathcal{C}}$; here $\emptyset $ denotes the category with no objects. Similarly, an object $Y \in \operatorname{\mathcal{C}}$ is final if and only if it is a limit of the unique diagram $\emptyset \rightarrow \operatorname{\mathcal{C}}$.

Remark 11.5.0.134. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an inner fibration of $\infty $-categories, let $f: K \rightarrow \operatorname{\mathcal{C}}$ be a diagram, and let

\[ U_{f/}: \operatorname{\mathcal{C}}_{f/} \rightarrow \operatorname{\mathcal{D}}_{(U \circ f)/ } \quad \quad U_{/f}: \operatorname{\mathcal{C}}_{/f} \rightarrow \operatorname{\mathcal{D}}_{/ (U \circ f)} \]

be the induced maps. Then an extension $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ of $q$ is a $U$-limit diagram if and only if it is $U_{/f}$-final when viewed as an object of the $\infty $-category $\operatorname{\mathcal{C}}_{/f}$. Similarly, an extension $\overline{f}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-colimit diagram if and only if is $U_{f/}$-initial when viewed as an object of the $\infty $-category $\operatorname{\mathcal{C}}_{f/}$.

Exercise 11.5.0.135. Let $U: \operatorname{\mathcal{K}}\rightarrow \operatorname{\mathcal{C}}$ be a functor between categories, and let $\operatorname{\mathcal{C}}_{/U}$ be the slice category of Construction 4.3.1.8. By virtue of Remark 4.3.1.11, the objects of $\operatorname{\mathcal{C}}_{/U}$ can be identified with pairs $(Y, \alpha )$, where $Y$ is an object of $\operatorname{\mathcal{C}}$ and $\alpha : \underline{Y} \rightarrow U$ is a natural transformation of functors. Show that $\alpha $ exhibits $Y$ as a limit of $U$ (in the sense of Definition 7.1.0.1) if and only if the pair $(Y, \alpha )$ is a final object of the category $\operatorname{\mathcal{C}}_{/U}$. Similarly, show that a natural transformation $\beta : U \rightarrow \underline{Y}$ exhibits $Y$ as a colimit of $U$ if and only if the pair $(Y,\beta )$ determines an initial object of the coslice category $\operatorname{\mathcal{C}}_{U/}$.

Example 11.5.0.136. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category containing objects $X$ and $Y$. The following conditions are equivalent:

The objects $X$ and $Y$ are isomorphic.
The object $Y$ is a limit of the diagram $\{ X \} \hookrightarrow \operatorname{\mathcal{C}}$.
The object $Y$ is a colimit of the diagram $\{ X\} \hookrightarrow \operatorname{\mathcal{C}}$.

See Example 7.1.1.6 for a more precise statement.

Lemma 11.5.0.137. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{E}}$ and $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ be morphisms of simplicial sets. If $\operatorname{\mathcal{E}}$ is an $\infty $-category, then the natural map $\operatorname{\mathcal{C}}\star _{\operatorname{\mathcal{E}}} \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{C}}\star \operatorname{\mathcal{D}}$ is an inner fibration of simplicial sets.

Warning 11.5.0.138. The statement of Theorem 5.6.0.2 assumes that $\operatorname{\mathcal{Q}}$ is a full subcategory of $\operatorname{\mathcal{QC}}$. However, it will sometimes be convenient to apply Theorem 5.6.0.2 when $\operatorname{\mathcal{Q}}$ is an enlargement of $\operatorname{\mathcal{QC}}$, whose objects include $\infty $-categories which are not necessarily small.

Definition 11.5.0.139. Let $\operatorname{\mathcal{QC}}$ denote the $\infty $-category of small $\infty $-categories (Construction 5.5.3.1), and let $\operatorname{\mathcal{Q}}\subseteq \operatorname{\mathcal{QC}}$ be a full subcategory. We will say that a cocartesian fibration $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ is $\operatorname{\mathcal{Q}}$-small if, for every object $C \in \operatorname{\mathcal{D}}$, the fiber $\operatorname{\mathcal{E}}_{C} = \{ C \} \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{E}}$ is equivalent to an $\infty $-category which belongs to $\operatorname{\mathcal{Q}}$.

Example 11.5.0.140. Let $\operatorname{\mathcal{Q}}$ be a full subcategory of $\operatorname{\mathcal{QC}}$, and let $\widetilde{\operatorname{\mathcal{Q}}}$ denote the fiber product $\operatorname{\mathcal{Q}}\times _{ \operatorname{\mathcal{QC}}} \operatorname{\mathcal{QC}}_{\operatorname{Obj}}$: that is, the $\infty $-category of elements of the inclusion map $\operatorname{\mathcal{Q}}\hookrightarrow \operatorname{\mathcal{QC}}$. Then the projection map $V: \widetilde{\operatorname{\mathcal{Q}}} \rightarrow \operatorname{\mathcal{Q}}$ is a $\operatorname{\mathcal{Q}}$-small cocartesian fibration of $\infty $-categories. This follows from Example 5.6.2.19: for every object $Q \in \operatorname{\mathcal{Q}}$, the fiber $\{ Q\} \times _{ \operatorname{\mathcal{Q}}} \widetilde{\operatorname{\mathcal{Q}}}$ is an $\infty $-category equivalent to $Q$.

Exercise 11.5.0.141. Deduce Theorem 5.6.0.2 from Corollary 11.6.0.185.

Remark 11.5.0.142. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cocartesian fibration of simplicial sets and let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$ be a morphism of simplicial sets. Then $\mathscr {F}$ is a covariant transport representation of $U$ if and only if there exists a morphism of simplicial sets $G: \operatorname{\mathcal{E}}\rightarrow \int _{\operatorname{\mathcal{C}}} \mathscr {F}$ which is an equivalence of cocartesian fibrations over $\operatorname{\mathcal{C}}$ (so that, in particular, the composite map $\operatorname{\mathcal{E}}\xrightarrow {G} \int _{\operatorname{\mathcal{C}}} \mathscr {F} \rightarrow \operatorname{\mathcal{C}}$ is equal to $U$). In this case, we will say that the morphism $G$ exhibits $\mathscr {F}$ as a covariant transport representation of $U$.

Remark 11.5.0.143. In the statement of Theorem 5.6.0.2, it is not necessary to assume that the simplicial set $\operatorname{\mathcal{C}}$ is an $\infty $-category, or that it is small.

Remark 11.5.0.144 (Base Change). Suppose we are given a pullback diagram of simplicial sets

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{E}}\ar [d]^-{U} \ar [r] & \operatorname{\mathcal{E}}' \ar [d]^-{U'} \\ \operatorname{\mathcal{C}}\ar [r] & \operatorname{\mathcal{C}}', } \]

where $U$ and $U'$ are inner fibrations. Let $f: C \rightarrow D$ be a morphism of $\operatorname{\mathcal{C}}$ having image $f': C' \rightarrow D'$ in $\operatorname{\mathcal{C}}'$. Then a functor $F: \operatorname{\mathcal{E}}_{C} \rightarrow \operatorname{\mathcal{E}}_{D}$ is given by covariant transport along $f$ if and only if it is given by covariant transport along $f'$, when regarded as a functor from $\operatorname{\mathcal{E}}'_{C'}$ to $\operatorname{\mathcal{E}}'_{D'}$.

Remark 11.5.0.145 (Two-out-of-Six). Let $f: W_{} \rightarrow X_{}$, $g: X_{} \rightarrow Y_{}$, and $h: Y_{} \rightarrow Z_{}$ be morphisms of simplicial sets. If $g \circ f$ and $h \circ g$ are homotopy equivalences, then $f$, $g$, and $h$ are all homotopy equivalences.

Remark 11.5.0.146 (Two-out-of-Six). Let $f: W_{} \rightarrow X_{}$, $g: X_{} \rightarrow Y_{}$, and $h: Y_{} \rightarrow Z_{}$ be morphisms of simplicial sets. If $g \circ f$ and $h \circ g$ are weak homotopy equivalences, then $f$, $g$, and $h$ are all weak homotopy equivalences.

Proposition 11.5.0.147. The contents of this tag are now at Proposition 11.6.0.134.

Remark 11.5.0.148. The conclusion of Proposition 5.2.2.8 continues to hold under the more general assumption that $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ is a locally cocartesian fibration (see Definition and Proposition ).

Remark 11.5.0.149. For historical reasons, it is traditional to place more emphasis on the duals of the notions introduced above. We say that a functor of categories $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ is a cartesian fibration (fibration in sets, fibration in groupoids) if the opposite functor $U^{\operatorname{op}}: \operatorname{\mathcal{E}}^{\operatorname{op}} \rightarrow \operatorname{\mathcal{C}}^{\operatorname{op}}$ is a cocartesian fibration (opfibration in sets, opfibration in groupoids). If $U$ is a cartesian fibration, then there exists a functor of $2$-categories $\mathscr {F}: \operatorname{\mathcal{C}}^{\operatorname{op}} \rightarrow \mathbf{Cat}$ and an isomorphism of $\operatorname{\mathcal{E}}$ with the category $\int ^{\operatorname{\mathcal{C}}} \mathscr {F}$, characterized by the formula $(\int ^{\operatorname{\mathcal{C}}} \mathscr {F})^{\operatorname{op}} = \int _{\operatorname{\mathcal{C}}^{\operatorname{op}}} \mathscr {F}^{\operatorname{op}}$ (see Remark 5.6.1.7).

Variant 11.5.0.150. The contents of this tag are now at Corollary 5.6.5.22.

Corollary 11.5.0.151. The contents of this tag are now at Remark None.

Example 11.5.0.152. The contents of this tag are now at Remark 4.3.1.6.

Variant 11.5.0.153. The contents of this tag are now contained in Definition 4.2.3.1.

Construction 11.5.0.154. The contents of this tag are now at Definition 5.6.1.5 (for functors) and Definition 11.10.4.1 (for lax functors).

Corollary 11.5.0.155. The contents of this tag are now contained in Theorem 5.1.6.1.

Example 11.5.0.156. The contents of this tag are now (mostly) at Remark 5.6.1.13.

Variant 11.5.0.157. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a functor. The following conditions are equivalent:

The functor $U$ is an opfibration in groupoids (Definition 4.2.2.1).
The functor $U$ is a cocartesian fibration and every morphism of $\operatorname{\mathcal{E}}$ is $U$-cocartesian.
The functor $U$ is a cocartesian fibration and, for every object $C \in \operatorname{\mathcal{C}}$, the fiber $\operatorname{\mathcal{E}}_{C} = \{ C\} \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{E}}$ is a groupoid.

Example 11.5.0.158. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a functor between categories, and let $f: X \rightarrow Y$ be a morphism in $\operatorname{\mathcal{E}}$. Assume that $U(f)$ is an isomorphism in $\operatorname{\mathcal{C}}$. Then the following conditions are equivalent:

The morphism $f$ is $U$-cartesian.
The morphism $f$ is $U$-cocartesian.
The morphism $f$ is an isomorphism in $\operatorname{\mathcal{E}}$.

In particular, every isomorphism in $\operatorname{\mathcal{E}}$ is both $U$-cartesian and $U$-cocartesian.

Remark 11.5.0.159. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a functor between categories and let $U^{\operatorname{op}}: \operatorname{\mathcal{E}}^{\operatorname{op}} \rightarrow \operatorname{\mathcal{C}}^{\operatorname{op}}$ be the induced functor of opposite categories. Let $f: X \rightarrow Y$ be a morphism in the category $\operatorname{\mathcal{E}}$, which we identify with a morphism $f^{\operatorname{op}}: Y \rightarrow X$ in the opposite category $\operatorname{\mathcal{E}}^{\operatorname{op}}$. Then $f$ is $U$-cartesian if and only if $f^{\operatorname{op}}$ is $U^{\operatorname{op}}$-cocartesian.

Remark 11.5.0.160. Suppose we are given a pullback diagram of categories

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{E}}' \ar [r]^-{V} \ar [d]^{U'} & \operatorname{\mathcal{E}}\ar [d]^{U} \\ \operatorname{\mathcal{C}}' \ar [r] & \operatorname{\mathcal{C}}, } \]

and let $f: X \rightarrow Y$ be a morphism of the category $\operatorname{\mathcal{E}}'$. If $V(f)$ is a $U$-cartesian morphism of $\operatorname{\mathcal{E}}$, then $f$ is a $U'$-cartesian morphism of $\operatorname{\mathcal{E}}'$. Similarly, if $V(f)$ is a $U$-cocartesian morphism of $\operatorname{\mathcal{E}}$, then $f$ is a $U$-cocartesian morphism of $\operatorname{\mathcal{E}}'$.

Example 11.5.0.161. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a functor between categories.

Remark 11.5.0.162. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a functor between categories. Then $U$ is a cartesian fibration if and only if the opposite functor $U^{\operatorname{op}}: \operatorname{\mathcal{E}}^{\operatorname{op}} \rightarrow \operatorname{\mathcal{C}}^{\operatorname{op}}$ is a cocartesian fibration.

Remark 11.5.0.163. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cartesian fibration of categories. Then $U$ is an isofibration (Definition 4.4.1.1). If $Y$ is an object of $\operatorname{\mathcal{C}}$ and $\overline{f}: \overline{X} \rightarrow U(Y)$ is an isomorphism in the category $\operatorname{\mathcal{C}}$, then our assumption that $U$ is a cartesian fibration guarantees that we can choose a $U$-cartesian morphism $f: X \rightarrow Y$ of $\operatorname{\mathcal{E}}$ satisfying $U(f) = \overline{f}$, and the morphism $f$ is automatically an isomorphism (Example 11.5.0.158).

Remark 11.5.0.164. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor between categories, and let $\operatorname{N}_{\bullet }(F): \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) \rightarrow \operatorname{N}_{\bullet }(\operatorname{\mathcal{D}})$. Then $\operatorname{N}_{\bullet }(F)$ is a right fibration if and only if $F$ is a fibration in groupoids (see Definition 4.2.2.1 and Proposition 4.2.2.9). Similarly, $\operatorname{N}_{\bullet }(F)$ is a left fibration if and only if $F$ is an opfibration in groupoids.

Remark 11.5.0.165. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor between categories. For each object $D \in \operatorname{\mathcal{D}}$, let $\operatorname{\mathcal{C}}_{D} = \{ D \} \times _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{C}}$ denote the corresponding fiber of $F$ (more concretely, $\operatorname{\mathcal{C}}_{D}$ is the subcategory of $\operatorname{\mathcal{C}}$ spanned by those objects $C \in \operatorname{\mathcal{C}}$ satisfying $F(C) = D$, and those morphisms $u: C \rightarrow C'$ satisfying $F(u) = \operatorname{id}_{D}$). It follows from Remark 4.2.2.8 that if $F$ is a fibration in groupoids, then the projection map $\operatorname{\mathcal{C}}_{D} \rightarrow \{ D\} $ is also a fibration in groupoids, so that the category $\operatorname{\mathcal{C}}_{D}$ is a groupoid (Example 4.2.2.7). This observation motivates the terminology of Definition 4.2.2.1: if $F$ is a fibration in groupoids, then one can think of the category $\operatorname{\mathcal{C}}$ as the total space of a “family” of groupoids $\{ \operatorname{\mathcal{C}}_{D} \} _{D \in \operatorname{\mathcal{D}}}$ which is parametrized by the category $\operatorname{\mathcal{D}}$.

Warning 11.5.0.166. The converse of Remark 11.5.0.165 is generally false: if $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a functor having the property that each fiber $\operatorname{\mathcal{C}}_{D}$ is a groupoid, then $F$ need not be a fibration in groupoids. For example, this condition is also satisfied whenever $F$ is an opfibration in groupoids, but an opfibration in groupoids need not be a fibration in groupoids. Roughly speaking, one can think of a fibration in groupoids $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ as encoding a family of groupoids $\{ \operatorname{\mathcal{C}}_{D} \} $ having a contravariant dependence on the object $D \in \operatorname{\mathcal{D}}$, and an opfibration in groupoids $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ as encoding a family of groupoids $\{ \operatorname{\mathcal{C}}_{D} \} $ having a covariant dependence on the object $D \in \operatorname{\mathcal{D}}$ (for a more precise formulation of this idea, we refer the reader to §).

Remark 11.5.0.167. Let $S$ be a simplicial set, and let $(\operatorname{Set_{\Delta }})_{/S}$ denote the slice category of simplicial sets $X$ equipped with a morphism $q_{X}: X \rightarrow S$. Then we can regard $(\operatorname{Set_{\Delta }})_{/S}$ as a simplicially enriched category, with mapping simplicial sets given by

\[ \underline{\operatorname{Hom}}_{ ( \operatorname{Set_{\Delta }})_{/S} }( X, Y) = \operatorname{Fun}_{S}(X,Y). \]

Remark 11.5.0.168. For relative versions of Corollaries 4.3.6.12 and 4.3.6.14, we refer the reader to §11.7.0.19.

Remark 11.5.0.169. In the special case $S = \Delta ^{0}$, Proposition 4.3.6.8 reduces to Corollary 4.3.6.12, Corollary 4.3.6.9 reduces to Proposition 4.3.6.1, and Proposition 4.3.6.13 reduces to Corollary 4.3.6.14.

Remark 11.5.0.170 (Two-out-of-Six). Let $F: \operatorname{\mathcal{A}}\rightarrow \operatorname{\mathcal{B}}$, $G: \operatorname{\mathcal{B}}\rightarrow \operatorname{\mathcal{C}}$, and $H: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be functors between $\infty $-categories. If $G \circ F$ and $H \circ G$ are equivalences of $\infty $-categories, then $F$, $G$, and $H$ are equivalences of $\infty $-categories.

Remark 11.5.0.171 (Two-out-of-Six). Let $f: W \rightarrow X$, $g: X \rightarrow Y$, and $h: Y \rightarrow Z$ be morphisms of simplicial sets. If $g \circ f$ and $h \circ g$ are categorical equivalences, then $f$, $g$, and $h$ are categorical equivalences.

Proposition 11.5.0.172. Subsumed in Theorem 9.4.4.4.

Remark 11.5.0.173. See Corollary 7.3.1.15

Remark 11.5.0.174. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. Then:

If $F$ preserves finite limits, then it carries discrete objects of $\operatorname{\mathcal{C}}$ to discrete objects of $\operatorname{\mathcal{D}}$ (see Remark 7.1.4.10).
If $F$ preserves pairwise products, then it carries subterminal objects of $\operatorname{\mathcal{C}}$ to subterminal objects of $\operatorname{\mathcal{D}}$ (see Remark 7.6.1.11).