Let be a Presheaf.
The representation of is a natural isomorphism to the hom-functor should it exist.
In Category Theory, a Functor is representable iff
There is an object s.t. for all object , the elements F(b) are really maps .
Say is represented by the object .