selfdistributive en · ADJ
Etymology
From self- + distributive.
Meanings
-
(not-comparable) Having the property (of an operation) of being distributive with respect to itself. Thus, an operator ◦ is left selfdistributive iff x◦(y◦z) = (x◦y)◦(x◦z), and is right selfdistributive iff (x◦y)◦z = (x◦z)◦(y◦z), for all x, y, z.
Its main ingredient is a selfdistributive product on the manifold of bisections of a smooth precategory. We show that the tangent algebroid of a Lie rackoid is a Leibniz algebroid and that Lie groupoids gives rise via conjugation to a Lie rackoid.
2015, Camille Laurent-Gengoux, Friedrich Wagemann, “Lie rackoids”, in arXiv:The aim of this text is to survey some aspects of selfdistributive algebra, with a special emphasis on the involved word problems.
2019, Petr Vojtěchovský, Murray R. Bremner, J. Scott Carter, Nonassociative Mathematics and its Applications, page 70: