DEFINITION 07.23
Let

,

be presheaves of modules on a topological space

.
Then we say that a sheaf homomorphism
is given if we are given a module homomorphism
for each open set

with the following property hold.
- For any open subsets
such that
, we have
(The property is also commonly referred to
as “

commutes with restrictions”.)