In category theory, a branch of mathematics, a presheaf on a category is a functor. If 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. A morphism... Wikipedia