An associative operation on monogenic left distributive systems

summary: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

The Braid Shelf

The braids of $B\_\infty$ can be equipped with a selfdistributive operation $\mathbin{\triangleright}$ enjoying a number of deep properties. This text is a survey of known properties and open questions involving this structure, its quotients, and its extensions

Some aspects of the SD-world

We survey a few of the many results now known about the self-distributivity law and selfdistributive structures, with a special emphasis on the associated word problems and the algorithms solving them in good cases