$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Theorem 9.4.3.1. Let $\mathbb {K}$ be a collection of simplicial sets and let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cartesian fibration of simplicial sets. Then a commutative diagram
9.41
\begin{equation} \begin{gathered}\label{equation:fiberwise-cocompletion-cartesian-case} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{E}}\ar [rr]^-{H} \ar [dr]_{U} & & \widehat{\operatorname{\mathcal{E}}} \ar [dl]^{ \widehat{U} } \\ & \operatorname{\mathcal{C}}& } \end{gathered} \end{equation}
exhibits $\widehat{\operatorname{\mathcal{E}}}$ as a fiberwise $\mathbb {K}$-cocompletion of $\operatorname{\mathcal{E}}$ if and only if the following conditions are satisfied:
- $(a)$
For each vertex $C \in \operatorname{\mathcal{C}}$, the functor $H_{C}: \operatorname{\mathcal{E}}_{C} \rightarrow \widehat{\operatorname{\mathcal{E}}}_{C}$ exhibits the $\infty $-category $\widehat{\operatorname{\mathcal{E}}}_{C}$ as a $\mathbb {K}$-cocompletion of the $\infty $-category $\operatorname{\mathcal{E}}_{C}$ (Definition 8.4.5.1).
- $(b)$
The morphism $\widehat{U}$ is a cartesian fibration of simplicial sets.
- $(c)$
For every edge $f: C \rightarrow C'$ of $\operatorname{\mathcal{C}}$, the contravariant transport functor $f^{\ast }: \widehat{\operatorname{\mathcal{E}}}_{C'} \rightarrow \widehat{\operatorname{\mathcal{E}}}_{C}$ preserves $K$-indexed colimits for each $K \in \mathbb {K}$.
- $(d)$
The morphism $H$ carries $U$-cartesian edges of $\operatorname{\mathcal{E}}$ to $\widehat{U}$-cartesian edges of $\widehat{\operatorname{\mathcal{E}}}$.
Moreover, there exists a diagram (9.41) which satisfies these conditions.
Proof of Theorem 9.4.3.1.
Let $\mathbb {K}$ be a collection of simplicial sets and let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cartesian fibration of simplicial sets. Using Corollary 9.4.3.4, we can choose a commutative diagram
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{E}}\ar [rr]^-{H} \ar [dr]_{U} & & \widehat{\operatorname{\mathcal{E}}} \ar [dl]^{ \widehat{U} } \\ & \operatorname{\mathcal{C}}& } \]
which satisfies the conditions of Theorem 9.4.3.1, and therefore exhibits $\widehat{\operatorname{\mathcal{E}}}$ as a fiberwise $\mathbb {K}$-cocompletion of $\operatorname{\mathcal{E}}$ (Lemma 9.4.3.2). Conversely, if we are given another diagram
9.45
\begin{equation} \begin{gathered}\label{equation:proof-of-fiberwise-cocompletion2-cartesian} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{E}}\ar [rr]^-{H} \ar [dr]_{U} & & \widehat{\operatorname{\mathcal{E}}}' \ar [dl]^{ \widehat{U}' } \\ & \operatorname{\mathcal{C}}& } \end{gathered} \end{equation}
which exhibits $\widehat{\operatorname{\mathcal{E}}}'$ as a fiberwise $\mathbb {K}$-cocompletion of $\operatorname{\mathcal{E}}$, then Remark 9.4.1.21 guarantees that there is an equivalence $F: \widehat{\operatorname{\mathcal{E}}} \rightarrow \widehat{\operatorname{\mathcal{E}}}'$ of inner fibrations over $\operatorname{\mathcal{C}}$ such that $H'$ is isomorphic to $F \circ H$ as an object of $\operatorname{Fun}_{ / \operatorname{\mathcal{C}}}( \operatorname{\mathcal{E}}, \widehat{\operatorname{\mathcal{E}}}' )$. It then follows that (9.45) the conditions of Theorem 9.4.2.1.
$\square$