A Functor, from a Category to {the Category of functors from the category to Set} where objects are mapped to to their corresponding Representable functors, and morphisms are Natural transformations induced by morphisms in the original category. The fact that these are natural transformations turns out to be equivalent to the associativity axiom of the categeory.

See here