A class to represent homomorphisms.