Aljabar abstrak

Dua bidang subjek matematika yang mempelajari sifat-sifat struktur aljabar yang dipandang secara keseluruhan adalah aljabar universal dan teori kategori. Struktur aljabar, bersama-sama dengan homomorfisme yang berkaitan, membentuk kategori. Teori kategori adalah formalisme ampuh untuk mempelajari dan membandingkan berbagai struktur aljabar yang berbeda-beda.