Adjoint functor theorem for presentable categories

Theorem 22.2.5 (Adjoint functor theorem, [Lurie (2009), Corollary 5.5.2.9]). Let \(C\) and \(D\) be presentable \(\infty \)-categories. A functor \(F\colon C\to D\) admits a right adjoint if and only if it preserves small colimits.