Make `induce_image` work for more combinations of morphisms and ideals

[thofma]

At the moment it only works in the absolute case. We could and should have a slowish generic version.