Locally Small

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.