Kerodon

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

Warning 4.2.5.10. The converse of Remark 4.2.5.9 is generally false: if $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a functor having the property that each fiber $\operatorname{\mathcal{C}}_{D}$ is a groupoid, then $F$ need not be a fibration in groupoids. For example, this condition is also satisfied whenever $F$ is an opfibration in groupoids, but an opfibration in groupoids need not be a fibration in groupoids (Exercise 4.2.5.11). Roughly speaking, one can think of a fibration in groupoids $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ as encoding a family of groupoids $\{ \operatorname{\mathcal{C}}_{D} \} $ having a contravariant dependence on the object $D \in \operatorname{\mathcal{D}}$, and an opfibration in groupoids $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ as encoding a family of groupoids $\{ \operatorname{\mathcal{C}}_{D} \} $ having a covariant dependence on the object $D \in \operatorname{\mathcal{D}}$ (for a more precise formulation of this idea, we refer the reader to ยง).