Let be a topological space and let be a category. A presheaf on with values in is a contravariant functor from the category whose objects are open sets in and whose morphisms are inclusion mappings of open sets of , to the category .
As this definition may be less than helpful to many readers, we offer the following equivalent (but longer) definition. A presheaf on consists of the following data:
An object in , for each open set