# Kerodon

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

Example 4.2.3.4. Let $[0]$ denote the category having a single object and a single morphism. For any category $\operatorname{\mathcal{E}}$, there is a unique functor $U: \operatorname{\mathcal{E}}\rightarrow [0]$. The following conditions are equivalent:

• The functor $U$ is a left covering functor.

• The functor $U$ is a right covering functor.

• The category $\operatorname{\mathcal{E}}$ is discrete: that is, every morphism in $\operatorname{\mathcal{E}}$ is an identity morphism.