Return to Answer

Notice that the Kan extension problem recovers the Adjoint functor theorem one, because adjoints are computed via Kan extensions of identities of large categories, $$\mathsf{R} = \mathsf{lan}_\mathsf{L}(1) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \mathsf{L} = \mathsf{ran}_\mathsf{R}(1) .$$ Indeed, in that case, the solution set condition is precisely what is needed in order to cut down the size of some colimits that otherwise would be too large to compute, as can be synthesized by the sharp version of the Kan lemma.

Notice that the Kan extension problem recovers the Adjoint functor theorem one, because adjoints are computed via Kan extensions of identities of large categories, $$\mathsf{R} = \mathsf{lan}_\mathsf{L}(1) \qquad \mathsf{L} = \mathsf{ran}_\mathsf{R}(1) .$$ Indeed, in that case, the solution set condition is precisely what is needed in order to cut down the size of some colimits that otherwise would be too large to compute, as can be synthesized by the sharp version of the Kan lemma.

Notice that the Kan extension problem recovers the Adjoint functor theorem one, because adjoints are computed via Kan extensions of identities of large categories. Indeed, in that case, the solution set condition is precisely what is needed in order to cut down the size of some colimits that otherwise would be too large to compute, as can be synthesized by the sharp version of the Kan lemma.

Notice that the Kan extension problem recovers the Adjoint functor theorem one, because adjoints are computed via Kan extensions of identities of large categories, $$\mathsf{R} = \mathsf{lan}_\mathsf{L}(1) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \mathsf{L} = \mathsf{ran}_\mathsf{R}(1) .$$ Indeed, in that case, the solution set condition is precisely what is needed in order to cut down the size of some colimits that otherwise would be too large to compute, as can be synthesized by the sharp version of the Kan lemma.

Warning. The proof of the previous lemma is based on the density (as opposed to codensity) of $\lambda$-presentable objects in an accessible category. Thus the lemma is not valid for the right Kan extension.