nLab 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…)

Last revised on August 2, 2018 at 20:15:01. See the history of this page for a list of all contributions to it.