bde homotopy