Proposition 3.1.6.9. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor between categories, and suppose that $F$ admits either a left or a right adjoint. Then the induced map $\operatorname{N}_{\bullet }(F): \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) \rightarrow \operatorname{N}_{\bullet }(\operatorname{\mathcal{D}})$ is a homotopy equivalence of simplicial sets.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proof. Without loss of generality, we may assume that $F$ admits a right adjoint $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{C}}$. Then there exist natural transformations $u: \operatorname{id}_{\operatorname{\mathcal{C}}} \rightarrow G \circ F$ and $v: F \circ G \rightarrow \operatorname{id}_{\operatorname{\mathcal{D}}}$ witnessing an adjunction between $F$ and $G$, so that $\operatorname{N}_{\bullet }(F)$ is a simplicial homotopy inverse of $\operatorname{N}_{\bullet }(G)$ by virtue of Example 3.1.5.7. $\square$