If i remember correctly, i read that given a presheaf P:C^op -> Set it is possible to describe it as a limit of representable presheaves. Could someone give a description of the construction together with a proof?