Definition:Hom Functor

Definition
Let $\mathbf C$ be a locally small category.

Also see

 * Definition:Yoneda Functor
 * Definition:Representable Functor