En álgebra, un espectro de módulo es un espectro con una acción de un espectro de anillo ; generaliza un módulo en álgebra abstracta.
La categoría ∞ de los espectros de módulos (digamos correctos) es estable ; por lo tanto, puede considerarse como análoga o generalización de la categoría derivada de módulos sobre un anillo.
Lurie define la teoría K de un espectro de anillo R como la teoría K de la categoría ∞ de módulos perfectos sobre R (un módulo perfecto se define como un objeto compacto en la categoría ∞ de espectros de módulos).