A cartesian fibration $E$ over $B$ is called globally small when it has a generic object in the sense of Definition 4.2.1·a [001E].
A cartesian fibration $E$ over $B$ is called globally small when it has a generic object in the sense of Definition 4.2.1·a [001E].