I strongly dislike this approach to linear algebra. I much prefer matrix-less approach like in "algebra done right". I guess the latter is less suited for computation, but much, much better for understanding what's going on.