Reference request: Book of Linear algebra from categorical point of view

Is there any book of Linear algebra in the modern language of Category theory?

I refer to the (systematic, formalist) study of the category whose objects are vector spaces and whose morphisms are linear maps and its consequences.

• I suspect the answer is no, but find the question intriguing. At least in the US market, the typical linear algebra customer wants only matrix algorithms and specific problems that can be solved that way. Books tending toward abstraction have become almost extinct, even at the level of a second or third course. Bourbaki on the other hand stopped before venturing into category language. There are of course books on "universal algebra" and "category theory" but not what you are looking for. Good luck. – Jim Humphreys Aug 15 '14 at 23:05
• reddit.com/r/math/comments/1eowe8/… – Carlo Beenakker Aug 16 '14 at 0:38
• I don't remember right out of my hat whether Paolo Aluffi's "Algebra 0" does much linear algebra (and I'm not at the computer which has it as PDF), but it certainly looks like a step in the right direction. Also, Kostrikin/Manin "Linear Algebra and Geometry", while not using the categorical approach right away, does introduce categories at some point (as well as tons of other interesting things). But now I'm seeing that these are exactly the first two suggestions on the Reddit thread... – darij grinberg Aug 16 '14 at 7:24
• At least over symmetric monoidal model categories, Bertrand Toën, Gabriele Vezzosi, Homotopical algebraic geometry II: geometric stacks and applications, 2004, arXiv:math/0404373, is perhaps what you're looking for. – user62675 Aug 18 '14 at 23:32
• See also at ncatlab.org/nlab/show/integral+transforms+on+sheaves the analogy between locally presentable $\infty$-categories and vector spaces. "For $C,D\in\mathscr{Pr}\infty\mathscr{Cat}$, ..., we may think of $C,D$ as analogous to vector spaces". The nlab doesn't provide much literature on this correspondence, though. – user62675 Aug 18 '14 at 23:38