Sigh, teach me to write a comment quickly without proofreading on HN, on a topic of any complexity. As written, my comment is wrong: I meant to write "vector s

Sigh, teach me to write a comment quickly without proofreading on HN, on a topic of any complexity. As written, my comment is wrong: I meant to write "vector space functions"[1] but left out a word. What I was getting at was the unintuitiveness that arises from thinking of vector space elements as number-like things (in the sense that we're familiar with them from basic math: numbers or coordinates) to being "anything that meets the definition", including functions. Seriously though, thanks for pointing that out, part of what I still love about the HN community is getting called out for even esoteric incorrectness. [1] which was my concise but imprecise way of expressing "the set of functions from a set over a field to a vector space over the same one", with + and * defined as you'd expect.