homomorphisms

not defined yet