Inverse image sheaf