Category of vector spaces
- Category of vector spaces
In mathematics, especially category theory, the category K-Vect has all vector spaces over a fixed field "K" as objects and "K"-linear transformations as morphisms. If "K" is the field of real numbers, then the category is also known as Vec.
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 "K""n", 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.
ee also
* Category of graded vector spaces
Wikimedia Foundation.
2010.
Look at other dictionaries:
Category of topological vector spaces — In mathematics, the category of topological vector spaces is the category whose objects are topological vector spaces and whose morphisms are continuous linear maps between them. This is a category because the composition of two continuous linear … Wikipedia
Vector bundle — The Möbius strip is a line bundle over the 1 sphere S1. Locally around every point in S1, it looks like U × R, but the total bundle is different from S1 × R (which is a cylinder instead). In mathematics, a vector bundle is a… … Wikipedia
Vector space — This article is about linear (vector) spaces. For the structure in incidence geometry, see Linear space (geometry). Vector addition and scalar multiplication: a vector v (blue) is added to another vector w (red, upper illustration). Below, w is… … Wikipedia
Category (mathematics) — In mathematics, a category is an algebraic structure that comprises objects that are linked by arrows . A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A … Wikipedia
List of category theory topics — This is a list of category theory topics, by Wikipedia page. Specific categories *Category of sets **Concrete category *Category of vector spaces **Category of graded vector spaces *Category of finite dimensional Hilbert spaces *Category of sets… … Wikipedia
Outline of category theory — The following outline is provided as an overview of and guide to category theory: Category theory – area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as… … Wikipedia
Complete category — In mathematics, a complete category is a category in which all small limits exist. That is, a category C is complete if every diagram F : J → C where J is small has a limit in C. Dually, a cocomplete category is one in which all small… … Wikipedia
Monoidal category — In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor ⊗ : C × C → C which is associative, up to a natural isomorphism, and an object I which is both a left and right identity for ⊗, again up to a… … Wikipedia
Preadditive category — In mathematics, specifically in category theory, a preadditive category is a category that is enriched over the monoidal category of abelian groups. In other words, the category C is preadditive if every hom set Hom(A,B) in C has the structure of … Wikipedia
Super vector space — In mathematics, a super vector space is another name for a Z2 graded vector space, that is, a vector space over a field K with a given decomposition:V=V 0oplus V 1.The study of super vector spaces and their generalizations is sometimes called… … Wikipedia
