Kerodon

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

Remark 8.3.1.4. In the special case where $\operatorname{\mathcal{C}}$ is (the nerve of) an ordinary category and $\mathscr {G}$ is a set-valued functor, Proposition 8.3.1.3 reduces to Proposition 8.3.1.1.