Foundations of Relative Category Theory / 4. Properties of fibrations [000E] / 4.2. Globally small fibrations [000J] / [001D] Definition 4.2·a. An ordinary category is called globally small when it has a set of objects. Section 4.1. Locally small fibrations [000F] Section 4.2.1. Generic objects [000K]