Computationally, every such homomorphism corresponds to a map operation applying "f" to all the elements of a list, followed by a fold operation which combines the results using the binary operator •.