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