Algebra up to homotopy