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