In HTT, a version of the adjoint functor theorem for (locally) presentable infinity categories is proven (Corollary 5.5.2.9). Is there a more refined version of this somewhere, which more closely resembles Freyd’s original version? I.e., is there a version for infinity categories which are *not* necessarily (locally) presentable, but requires a solution set condition? If so, a reference would be fantastic. Thanks!



Adjoint functor theorem for infinity categories
The general adjoint functor theorem didn't exist in the literature when this question was originally asked, but now it does: [Nguyen, Raptis, and Schrade](https://arxiv.org/abs/1803.01664).


