Re: Presheaf as functor




Being a presheaf, it is a functor from the category of opens in X to the category of abelian groups.
The O(U)-module structure on F(U) is an add-on structure.
This is why people rather speak of O_X-modules.

.


Quantcast