# Is it true that a functor from a locally small category with a left adjoint is representable?

Consider the functor $F: B \rightarrow Set$ where $B$ is a locally small category.

Is it true that if $F$ has a left adjoint then it is representable?

• Welcome to MSE. It will be more likely that you will get an answer if you show us that you made an effort. – José Carlos Santos Jan 26 '18 at 8:38
• @JoséCarlosSantos I looked for a counterexample among some common categories but couldnt find one, so I'm suspecting it's true. I understand we'd like to construct the natural isomorphism between $F$ and $Hom(A,-)$ using the adjoint somehow, but I honestly have no ideas where to start. Hints would be as appreciated as an explanation. – user525096 Jan 26 '18 at 8:58

Proof: Let $L \dashv F$ and $1 = \{*\}$. Then, \begin{align} Fb \cong \mathbf{Set}(1,Fb) \cong B(L1,b) \end{align} naturally in $b \in B$, hence $F \cong H^{L1}$.
• Could you explain the notation in the last symbol, $H^{F1}$? I see that you showed $F \cong B(L1, -)$ which is what we wanted, but I'm not sure how $H^{F1}$ expresses that. Did you mean $H^{L1}$ or am I missing something? – user525096 Jan 26 '18 at 9:46
• Of course, thank you! It is $H^{L1}$. I fixed the typo. – Taroccoesbrocco Jan 26 '18 at 9:49