e/Presheaf (category theory)

Information
has gloss	eng: In category theory, a branch of mathematics, a V-valued presheaf F on a category C is a functor F:C^\mathrmop}\to\mathbfV}. Often presheaf is defined to be a Set-valued presheaf. If C is the poset of open sets in a topological space, interpreted as a category, then one recovers the usual notion of presheaf on a topological space.
lexicalization	eng: presheaf
instance of	e/Functor