Since vector spaces over K (as a field) are the same thing as modules over the ring K, K-Vect is a special case of R-Mod, the category of left R-modules. K-Vect is an important example of an abelian category.
Much of linear algebra concerns the description of K-Vect. For example, the dimension theorem for vector spaces says that the isomorphism classes in K-Vect correspond exactly to the cardinal numbers, and that K-Vect is equivalent to the subcategory of K-Vect which has as its objects the free vector spaces Kn, where n is any cardinal number.
There is a forgetful functor from K-Vect to Ab, the category of abelian groups, which takes each vector space to its additive group. This can be composed with forgetful functors from Ab to yield other forgetful functors, most importantly one to Set.
K-Vect is a monoidal category with K (as a one dimensional vector space over K) as the identity and the tensor product as the monoidal product.
See also
This article is licensed under the GNU Free Documentation License.
Last updated on Wednesday September 05, 2007 at 15:28:51 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation
Copyright © 2008, Dictionary.com, LLC. All rights reserved.