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!
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
