Coba jelasin Sifat dari Kategori modul dong

Kategori modul kiri dan kanan adalah kategori abelian. Kategori ini memiliki proyektif cukup dan injeksi cukup. Teorema embedding Mitchell menyatakan setiap kategori abelian muncul sebagai subkategori lengkap dari kategori modul.

Limit proyektif dan batas induktif ada dalam kategori modul kiri dan kanan.

Di atas gelanggang komutatif, bersama dengan hasil kali tensor modul ⊗, kategori modul adalah kategori monoidal simetris.