Inverse image for the functor μhom