# Kerodon

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

Remark 9.10.5.4. In the situation of Example 9.10.5.3, the Kleisli category $\int ^{\operatorname{\mathcal{C}}} \mathscr {F}$ is equipped with a comparison functor $H: \operatorname{\mathcal{E}}\rightarrow \int ^{\operatorname{\mathcal{C}}} \mathscr {F}$, which carries each object of $\operatorname{\mathcal{E}}$ to itself and each morphism $u: X \rightarrow Y$ in $\operatorname{\mathcal{E}}$ to the composite morphism $X \xrightarrow {u} Y \xrightarrow { \epsilon (Y) } T(Y)$ (regarded as a morphism from $X$ to $Y$ in the category $\int ^{\operatorname{\mathcal{C}}} \mathscr {F}$). The following conditions are equivalent:

• The functor $H$ is an equivalence of categories.

• The functor $H$ is an isomorphism of categories.

• The unit map $\epsilon : \operatorname{id}_{\operatorname{\mathcal{E}}} \rightarrow T$ is an isomorphism of functors.