Homological Perturbation Lemma

A result and computational method that allows one to transfer a perturbation of a differential on a chain complex across a homotopy equivalence (given explicit homotopy data) to obtain a perturbed differential on a simpler model, preserving homotopy type.