To any well-behaved homology theory we associate a derived ∞ -category which encodes its Adams spectral sequence. As applications, we prove a conjecture of Franke on algebraicity of certain homotopy categories and establish homotopy-coherent monoidality of the Adams filtration.
Patchkoria et al. (Fri,) studied this question.