Kerodon

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

Example 4.4.1.2. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor between categories. If $F$ is a fibration in groupoids (or an opfibration in groupoids), then $F$ is an isofibration. For a more general statement, see Example 4.4.1.10.