MDLUL/differenzierbar homotop (Abbildung)