También induce un funtor "f" de la categoría de haces en "Y" a la categoría de haces en "X", el "funtor imagen inversa".