Categorie van vectorruimten

In de lineaire algebra en de categorietheorie, een deelgebied van de wiskunde, heeft de categorie K-Vect (sommige auteurs schrijven Vect_K) alle vectorruimten over een vast lichaam (Ned) / veld (Be) $K$ als objecten en $K$-lineaire transformaties als morfismen. Als $K$ het lichaam van de reële getallen is, dan staat de categorie ook bekend als Vec.

Aangezien vectorruimten over $K$ (als een lichaam/veld) hetzelfde zijn als modulen over de ring $K,$ is K-Vect een speciaal geval van R-Mod, de categorie van linker $R$-modulen. K-Vect is een belangrijk voorbeeld van een abelse categorie.

Een groot deel van de lineaire algebra heeft betrekking op de beschrijving van K-Vect. De dimensiestelling voor vectorruimten zegt bijvoorbeeld dat de isomorfismeklassen in K-Vect exact overeenkomen met de kardinaalgetallen, en dat K-Vect equivalent is met de deelcategorie van K-Vect, als objecten dus de vrije vectorruimten $K^{n}$ heeft, waarin $n$ een willekeurig kardinaalgetal is.

Er is een vergeetachtige functor van K-Vect naar Ab, de categorie van abelse groepen, die elke vectorruimte naar zijn additieve groep neemt. Dit kan worden samengesteld met de vergeetachtige functors uit Ab met als realutaat andere vergeetachtige functors, met als belangrijkste een naar de categorie van verzamelingen.

K-Vect is een monoïdale categorie met $K$ (als een een-dimensionale vectorruimte over $K$) als de identiteit en het tensorproduct als het monoïdale product.