Sheaf of spectra

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (March 2015) (Learn how and when to remove this message)

In algebraic topology, a presheaf of spectra on a topological space X is a contravariant functor from the category of open subsets of X, where morphisms are inclusions, to the good category of commutative ring spectra. A theorem of Jardine says that such presheaves form a simplicial model category, where F →G is a weak equivalence if the induced map of homotopy sheaves ${\displaystyle \pi _{*}F\to \pi _{*}G}$ is an isomorphism. A sheaf of spectra is then a fibrant/cofibrant object in that category.

The notion is used to define, for example, a derived scheme in algebraic geometry.