differential graded algebra
differential associative algebra with integer grading in which the differential has grading +1 (cohomological convention) or −1 (homological convention)
Weil algebra
trivial higher cohomology; tensor product of exterior and symmetric algebras over the dual of a Lie algebra