Enumerating left distributive groupoids
Jaroslav Ježek · Czechoslovak Mathematical Journal · 1997
Groupoids satisfying the equation x(yz) = (xy)(xz) are called left distributive, or LD-groupoids. We give an algorithm for their enumeration and prove several results on the collection of LD-groupoids extending a given monounary algebra.