Category Vect_K

Let \(K\) be a field. Then the category \(\mathrm{Vect_K}\) contains

1. K-vectorspaces as objects
2. vectorspace-homomorphism as morphisms