Yeah, and it's such a boring thing to write about. Given an vector space V with (+, ), you can define the vector space over functions F whose codomain is V and

Yeah, and it's such a boring thing to write about. Given an vector space V with (+, ), you can define the vector space over functions F whose codomain is V and where F.+ and F. both take two functions as argument and return another function applying V.+ or V.* on the result. All the linear algebra properties come from the original vector space. Hence it is boring.