Universal property of Kähler differentials
ID: universal-property-of-kahler-differentials
Composing an -linear map with gives a -derivation. Every derivation factors uniquely this way because its linearity and product rule are exactly the defining relations of the Module of Kähler differentials.
New to topics? Read the docs here!