Corollary 4.6.4.20 (02C8)

Corollary 4.6.4.20. Let $G: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be fully faithful functor of $\infty $-categories and let $F: K \rightarrow \operatorname{\mathcal{C}}$ be a morphism of simplicial sets. Then the induced functors

\[ G': \operatorname{\mathcal{C}}_{/F} \rightarrow \operatorname{\mathcal{D}}_{/(G \circ F)} \quad \quad G'': \operatorname{\mathcal{C}}_{F/} \rightarrow \operatorname{\mathcal{D}}_{(G \circ F)/} \]

are also fully faithful.

Proof. Let $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{D}}$ be the essential image of $G$ (Definition 4.6.2.12), so that $G$ induces an equivalence of $\infty $-categories $\operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}'$ (Corollary 4.6.2.23). By virtue of Corollary 4.6.4.19, the functors $G'$ and $G''$ restrict to equivalences

\[ \operatorname{\mathcal{C}}_{/F} \rightarrow \operatorname{\mathcal{C}}'_{/(G \circ F)} \quad \quad \operatorname{\mathcal{C}}_{F/} \rightarrow \operatorname{\mathcal{C}}'_{(G \circ F)/} \]

We may therefore replace $\operatorname{\mathcal{C}}$ by $\operatorname{\mathcal{C}}'$ and thereby reduce to the case where $G: \operatorname{\mathcal{C}}\hookrightarrow \operatorname{\mathcal{D}}$ is the inclusion of a full subcategory. In this case, the functors $G'$ and $G''$ are also the inclusions of full subcategories, hence fully faithful (Example 4.6.2.2). $\square$