This answer does not meet any of the questions, yet it provides the reason for which $i_A$ has a left adjoint. The whole story is contained in **Categories of continuous functors I** by *Kelly* and *Freyd*. Nowadays maybe we have more sophisticated ways of phrasing this result, but the core of the reason is still in the paper by Freyd and Kelly, which offers also a historical tour of all the partial results that led to the theorem.