Category of vector spaces
This functionality does not run in MATLAB.
Cat::VectorSpace(F) represents the category
of vector spaces over the field
A vector space is an Abelian group with an operation
The scalar product has to be implemented via the method
Other kinds of multiplication are not defined.
A domain which must be from the category