|
|
Definition of Presheaf
1. Noun. (category theory) A contravariant functor whose domain is a category whose objects are open sets of a topological space and whose morphisms are inclusion mappings.David Jao. "sheaf" (version 11). PlanetMath.org. Freely available at ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Presheaf
Other Resources:
