Coba jelasin Penggolongan berdasarkan sifat dari Magma (aljabar) dong

Magma , dengan , disebut

Semimedial Jika keduanya semimedial kiri dan kanan

Distributif kiri Jika memenuhi identitas,

Distributif kanan Jika memenuhi identitas,

Autodistributif Jika keduanya distributif kiri dan kanan

Daya-asosiatif Jika submagma yang dihasilkan oleh suatu elemen bersifat asosiatif

Semigrup, atau asosiatif Jika identitas,

Semigrup dengan perkalian nol, atau semigrup nol Jika identitas,

Unital Jika memiliki elemen identitas

Kategori magma, dilambangkan Mag, adalah kategori objek dari magma, dan morfisme adalah homomorfisme magma. Kategori Mag memiliki produk langsung, dan funktor inklusi:  sebagai magma trivial, dengan operasi oleh projeksi: .

Sifat adalah injeksi endomorfisme yang digunakan automorfisme dari magma perluasan, kolimit dari (urutan tetapan) keendomorfan.

Karena himpunan satuan  adalah objek nol dari Mag, dan karena Mag adalah aljabar Mag pada kompleks.