A Category is locally small if, for any two Objects and , the Morphisms in are parametrized by a set . These sets are sometimes called Hom-Sets. They give rise to Hom-Functors. For example, , , are all locally small but Functor category needn’t be.