Algebraic K-theory can be seen as a generalization of linear algebra? If yes, How would be it?