small category

category whose objects and morphisms both form sets