Module spectrum
In algebra, a module spectrum is a spectrum with an action of a ring spectrum; it generalizes a module in abstract algebra.
The ∞-category of module spectra is stable; hence, it can be considered as either analog or generalization of the derived category of modules over a ring.Lurie defines the K-theory of a ring spectrum R to be the K-theory of the ∞-category of perfect modules over R
