Koszul dual of a commutative algebra

General observation:

Consider the case when is a commutative algebra. This means that includes all antisymmetric tensors.

  ⇒  

is a universal enveloping of a Lie algebra.