# Kerodon

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

Remark 4.3.1.6. Let $\operatorname{\mathcal{C}}$ be a category and let $S$ be an object of $\operatorname{\mathcal{C}}$. Then the forgetful functor $\operatorname{\mathcal{C}}_{/S} \rightarrow \operatorname{\mathcal{C}}$ is a right covering map, in the sense of Definition 4.2.3.1. Similarly, the forgetful functor $\operatorname{\mathcal{C}}_{S/} \rightarrow \operatorname{\mathcal{C}}$ is a left covering map.