Joyal's CatLab
KVect

Definition

• If $K$ is a field, the category of K-vector spaces KVect has for objects the (left) $K$-vector spaces and for arrows the $K$-linear maps.