[001Q] Definition 5·a (Small fibration).

A cartesian fibration is called small when it is both locally small [000I] and globally small [000J].