A normal band is a band B = (B,·) such that · is normal: x·y·z·x = x·z·y·x.
Let B and C be normal bands. A morphism from B to C is a function h : B→C that is a homomorphism: h(xy) = h(x)h(y).
|Equational theory||decidable in polynomial time|
|Congruence extension property|
|Definable principal congruences|
|Equationally definable principal congruences|
|Strong amalgamation property|
|Epimorphisms are surjective|