Algebraic K-theory can be seen as a generalization of linear algebra? If yes, how so?