Locally small category

A category is locally small when the morphisms between each fixed pair of objects form a set, even if its collection of all objects is a proper class.

In a locally small category, the morphisms from $A$ to $B$ form the set $\mathcal{C}(A,B)$. Postcomposition and precomposition give the corresponding covariant and contravariant representable functors.