# Kerodon

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

Corollary 6.2.4.5. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ and $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{C}}$ be functors between $\infty$-categories, and let $\eta : \operatorname{id}_{\operatorname{\mathcal{C}}} \rightarrow G \circ F$ be a natural transformation. The following conditions are equivalent:

$(1)$

The natural transformation $\eta$ is the unit of an adjunction between $F$ and $G$.

$(2)$

For every pair of objects $X \in \operatorname{\mathcal{C}}$ and $Y \in \operatorname{\mathcal{D}}$, the composite map

$\operatorname{Hom}_{\operatorname{\mathcal{D}}}( F(X), Y) \xrightarrow {G} \operatorname{Hom}_{\operatorname{\mathcal{C}}}( (G \circ F)(X), G(Y) ) \xrightarrow { \circ [ \eta _ C]} \operatorname{Hom}_{\operatorname{\mathcal{C}}}( X, G(Y) )$

is a homotopy equivalence of Kan complexes.

$(3)$

The functor $F$ admits a right adjoint. Moreover, for every pair of objects $X \in \operatorname{\mathcal{C}}$ and $Y \in \operatorname{\mathcal{D}}$, the composite map

$\operatorname{Hom}_{\mathrm{h} \mathit{\operatorname{\mathcal{D}}}}( F(X), U) \xrightarrow {G} \operatorname{Hom}_{\mathrm{h} \mathit{\operatorname{\mathcal{C}}}}( (G \circ F)(X), G(Y) ) \xrightarrow { \circ [ \eta _ X]} \operatorname{Hom}_{\mathrm{h} \mathit{\operatorname{\mathcal{C}}}}( X, G(Y) )$

is a bijection.

Proof. The implication $(1) \Rightarrow (2)$ follows from Proposition 6.2.1.17, the implication $(2) \Rightarrow (3)$ follows from Proposition 6.2.4.1. We will complete the proof by showing that $(3) \Rightarrow (1)$. Note that, if condition $(3)$ is satisfied, then the natural transformation $\eta$ exhibits $\mathrm{h} \mathit{G}: \mathrm{h} \mathit{\operatorname{\mathcal{D}}} \rightarrow \mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ as a right adjoint of the functor $\mathrm{h} \mathit{F}: \mathrm{h} \mathit{\operatorname{\mathcal{C}}} \rightarrow \mathrm{h} \mathit{\operatorname{\mathcal{D}}}$ (see Variant 6.1.2.11). Invoking Proposition 6.2.1.14, we deduce that $\eta$ is the unit of an adjunction between $F$ and $G$. $\square$