Lemma der Homologischen Perturbation (HPL)

Ein Ergebnis und eine rechnerische Methode, die es erlaubt, eine Perturbation einer Differentiale auf einem Kettenkomplex über eine Homotopieäquivalenz (gegeben explizite Homotopie-Daten) hinweg auf ein vereinfachtes Modell zu übertragen, wobei der Homotopietyp erhalten bleibt.