abstract:In mathematics, especially category theory, the category K-Vect (some authors use VectK) 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.