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). cat tidy | en | sembr