Dalam aljabar, diberi gelanggangR, kategori modul kiri di atas R adalah kategori yang objek semuanya tersisa modul di atas R . Misalnya, jika R adalah ring integer s 'Z' , itu sama dengan kategori grup abelian. Kategori modul yang tepat didefinisikan dengan cara yang serupa.
Catatan: Beberapa penulis menggunakan istilah kategori modul untuk kategori modul. Istilah ini bisa ambigu karena bisa juga merujuk ke kategori dengan tindakan kategori-monoid.[1]
kategoriK-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 gelanggangK, K-Vect adalah kasus khusus R-Mod, kategori kiri R - modul.
