Lema de Perturbación Homológica (HPL)

Un resultado y método computacional que permite transferir una perturbación de la diferencial en un complejo de cadenas a través de una equivalencia por homotopía (dadas las datos explícitos de homotopía) para obtener una diferencial perturbada en un modelo más simple, preservando el tipo de homotopía.