Abstract:Term substitution induces an associative operation on the free objects of any equational variety. In the case of left distributivity, the construction can be extended to any monogenic structure.
Keywords: non-associative binary systems
AMS Subject Classification: 20N02