[000P] Definition 4.2·b (Globally small fibration).

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].