[001D] Definition 4.2·a.

An ordinary category is called globally small when it has a set of objects.