One knows by standard Algebraic Geometry that for any morphism $f:X \rightarrow Y$ of schemes one has canonical bijections
$\operatorname{Hom}_X(f*G,F)\simeq \operatorname{Hom}_Y(G,f_{*}F).$
Question: is it right that this map sends isomorphisms to isomorphisms?