Homotopic algebra