algebra uniwersalna

Algebra uniwersalna – dział matematyki zajmujący się badaniem ogólnych struktur algebraicznych, nazywany również w niektórych publikacjach algebrą ogólną. Algebra uniwersalna wraz z teorią kategorii stanowią matematyczne podstawy teorii specyfikacji algebraicznych. Podstawowym pojęciem algebry uniwersalnej jest pojęcie algebry (nazywanej często algebrą uniwersalną; wtedy cały dział nazywa się algebrą ogólną), zbioru A wyposażonego w pewien zbiór  operacji n-arnych nazywany sygnaturą. Każda struktura algebraiczna (grupoid, półgrupa, grupa, pierścień, ciało itd.) jest pewną algebrą.