representable functor

Etymology
If a representable functor is naturally isomorphic to a hom functor $$\mbox{Hom}(C,-)$$ or $$\mbox{Hom}(-,C)$$, then the object C is said to represent that representable functor.

Noun

 * 1)  A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.

Synonyms

 * representable presheaf