# Joyal's CatLab KVect

Definition

## 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.
Revised on November 19, 2020 at 19:40:49 by Richard Williamson