# Kerodon

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

Example 5.0.0.5. Let $\operatorname{Mod}(\operatorname{ Ab })$ be the category described in Example 5.0.0.2. Then the forgetful functor $U: \operatorname{Mod}(\operatorname{ Ab }) \rightarrow \operatorname{CAlg}(\operatorname{ Ab })$ is both a cartesian fibration and a cocartesian fibration.