Cat::VectorSpace
-- the
category of vector spaces
represents the
category of vector spaces over the field Cat::VectorSpace
(F)F
.
Cat::VectorSpace(F)
F |
- | A domain which must be from the category Cat::Field . |
Cat::Module(F)
Cat::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
.