up:: Category A category is said to be locally small when all of its Hom-Sets are, indeed, sets. Examples The Set Category is a locally small category, since the collection of all functions between two sets is necessarily a set ─ of cardinality References locally small category in nLab