Presheaf meaning

(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.
noun
0
0
Advertisement

Origin of presheaf

  • pre- +‎ sheaf
    From Wiktionary