I am reading Lurie's notes on Bousfield localization, attached below. I have the following questions:
I don't get why the inclusion $C \subset Sp$ preserves homotopy colimits from assumption (*)
Can I have the precisely statement and reference to the version of the adjoint functor theorem?
Does everything work if I replace $Sp$ by $D(A),D^+(A), D^-(A)$ where $A$ is an abelian category?
