presheaf on open subsets

The notion of presheaf today is technically synonymous with (contravariant) [[functor] F:S opAF : S^{op} \to A – albeit a functor is called a presheaf only if it is being used in a certain way, notably when its domain has the structure of a site and there is the potential to consider the sheafification of the functor to a sheaf.

Historically this formalization was abstracted from the special case where the domain category S=O(X)S = O(X) is the category of open subsets of a topological space.

(…say more…)

Created on March 31, 2009 at 12:29:46. See the history of this page for a list of all contributions to it.