In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Wikipedia