A category is locally small if between any pair of objects there is only a set’s worth of morphisms.