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.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$