The term "Weil algebra" is also sometimes used to mean a finite-dimensional real local Artinian ring. Wikipedia

Dga defined by a Lie algebra with trivial higher cohomology; tensor product of exterior and symmetric algebras over the dual of a Lie algebra; analogue of EG in the classifying space EG → BG (where BG corresponds to the Chevalley–Eilenberg algebra) Wikidata