[001B] Definition 4.1.3·b (Locally small fibration).

A cartesian fibration $E$ over $B$ is locally small if and only if for each $x\in B$ and $u,v\in E\Sub{x}$, the total category $\TotCat{\CandHom{x}{u}{v}}$ has a terminal object.