En topología algebraica, un prehaz 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 anillos conmutativos . Un teorema de Jardine dice que tales prehaces forman una categoría de modelo simplicial , donde F → G es una equivalencia débil si la función inducida de haces 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.
