En topología algebraica, un haz previo de espectros en un espacio topológico X es un funtor contravariante de la categoría de subconjuntos abiertos de X , donde los morfismos son inclusiones, a la categoría buena de espectros de anillo conmutativos . Un teorema de Jardine dice que tales prehaces forman una categoría de modelo simple , donde F → G es una equivalencia débil si el mapa inducido de gavillas de homotopía es un isomorfismo. Un haz de espectros es entonces un objeto fibrante/cofibrante en esa categoría.
La noción se utiliza para definir, por ejemplo, un esquema derivado en geometría algebraica.
