transporting homomorphisms across isomorphisms