functor between categories of Abelian-group-valued sheaves induced by a map between topological spaces