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?
No. Take a closed immersion $f$ and $G=O_Y$, $F=O_X$. Then $f^*G=F$, but $G$ can't be isomorphic to $f_*F$ if $f$ is not an isomorphism.