A category is small iff the sets of objects and arrows can be expressed as sets.