En la teoría de categorías , una rama de las matemáticas, una categoría modelo estable es una categoría modelo puntiaguda en la que el funtor de suspensión es una equivalencia de la categoría de homotopía consigo misma.
Los ejemplos prototípicos son la categoría de espectros en la teoría de homotopía estable y la categoría de complejo en cadena de módulos R. Por otra parte, la categoría de espacios topológicos puntiagudos y la categoría de conjuntos simpliciales puntiagudos no son categorías de modelos estables.
Cualquier categoría de modelo estable es equivalente a una categoría de prehaces de espectros . [ cita requerida ]