Let $F: Set^{op} \rightarrow Set$ be a functor such that for corresponding functor $\overline{F}: Set \rightarrow Set^{op}$ we have $\overline{F} \dashv F$. With corresponding functor I mean that $F$ and $\overline{F}$ are just basically the same functor (just written differently).
An exercise says that from this information, it follows that $F$ is naturally isomorphisc to $Set(-,A)$. Clearly we need to use Yoneda's Lemma, but I cant really see how. I have no clue how to show this $A$ exists at all or where it comes from. Anybody have an idea?
Yoneda's lemma doesn't help to characterize when a given functor is representable or not.
Here just write the fact that you have an adjunction : $$Hom_{Set^{op}}(\overline{F}(A),B) = Hom_{Set}(A,F(B))$$ which means in $Set$: $$Hom(B,F(A)) = Hom(A,F(B)).$$
Now take $B = \ast$ (a point) : $$F(A)\simeq Hom(\ast,F(A)) = Hom(A,F(\ast))$$ so you get a natural isomorphism $$F\simeq Hom(\bullet,F(\ast)).$$