biderivation
nounEtymology
From bi- + derivation.
- derived from derivatio
- derived from dérivation
- inherited from derivacioun
Definitions
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.
The neighborhood
Vish — recursive loop
No curated loop yet for biderivation. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA