Category Locally small category A locally small category is a category for which the morphisms between any two objects form a small set (the hom-set). #m/def/cat #state/tidy | #lang/en | #SemBr