Jabarkan Kategori ruang vektor dari Kategori modul

kategori K-Vekt (beberapa penulis menggunakan VektK) memiliki semua ruang vektor di atas bidang  K  sebagai objek, dan  K  - peta linier sebagai morfisme. Karena ruang vektor di atas  K  (sebagai bidang) sama dengan modul di atas gelanggang K, K-Vect adalah kasus khusus R-Mod, kategori kiri  R  - modul.

Banyak dari aljabar linier berkaitan dengan deskripsi K-Vekt. Misalnya, teorema dimensi untuk ruang vektor mengatakan bahwa kelas isomorfisme ada di K-Vect sesuai persis dengan bilangan kardinal, dan itu K-Vekt adalah ekuivalen dengan subkategori dari K-Vekt yang memiliki ruang vektor sebagai objeknya Kn, dengan  n  adalah bilangan kardinal.