Definition. locally small category [005O] A category is locally small if for any two objects, the morphisms between them fit in a set.