biderivation
nounEtymology From bi- + derivation.
1
Mathematics, Sciences A bilinear mapping which is a derivation in each variable separately.
- We extend to the category of crossed modules of Leibniz algebras the notion of biderivation via the action of a Leibniz algebra.2016, José Manuel Casas, Rafael F. Casado, Xabier García-Martínez, Emzar Khmaladze, “Actor of a crossed module of Leibniz algebras”, in arXiv: