# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Corollary 4.6.5.10. 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) )$.