Inverse Image as the left adjoint to pushforward

Asked and answered on Mathoverflow. :)