Presheaf
A presheaf on a category
is a functor .
In particular, ifis a topological space (i.e., the category of open sets of ), then a presheaf on is a functor .
Presheaf
A presheaf on a category
is a functor .
In particular, ifis a topological space (i.e., the category of open sets of ), then a presheaf on is a functor .