Cat::VectorSpace -- the
category of vector spaces
Introduction represents the
category of vector spaces over the field Cat::VectorSpace(F)F.
Generating
the categoryCat::VectorSpace(F)
ParametersF |
- | A domain which must be from the category Cat::Field. |
Cat::Module(F)
DetailsCat::VectorSpace(F) represents the
category of vector spaces over the field F. A vector space
is a abelian group with an operation + (_plus)."_mult". Other kinds of multiplication are not
defined._mult(F c, dom
x)c and
x._mult(dom x, F
c)x and
c.