https://9lib.org/document/y8gx86j2-homotopical-dynamics-of-gradient-flows.html