Koszul homotopy for multiplication by a generator
ID: koszul-homotopy-for-multiplication-by-a-generator
Exterior multiplication is a chain homotopy between multiplication by and zero on a Koszul complex. A linear combination of these homotopies is a contracting homotopy when the generators span the unit ideal.
New to topics? Read the docs here!