Homotopy linear algebra