Begriffe (allgemein)

homo-morph = gleich-förmig

Signatur Σ (= Menge von Funktionssymbolen)

Abbildung h von Σ-Struktur A nach Σ-Struktur B ist Homomorphie, wenn:

∀f∈Σ, x₁,…, x_k∈A :
         h(f_A(x₁,…, x_k)) = f_B(h(x₁),…, h(x_k))

Beispiel:

Σ = Monoid (Eins-Element 1, binäre Operation o)

A = Lista (Listen) mit 1_A = Nil,o_A = append

B = N (Zahlen) mit 1_B = Z,o_A = plus

h = length