Definition from Wiktionary, the free dictionary
biderivation (plural biderivations)
- (mathematics) A bilinear mapping which is a derivation in each variable separately.
2016, José Manuel Casas, Rafael F. Casado, Xabier García-Martínez, Emzar Khmaladze, “Actor of a crossed module of Leibniz algebras”, in arXiv:
- We extend to the category of crossed modules of Leibniz algebras the notion of biderivation via the action of a Leibniz algebra.