Univerzální algebra

Univerzální algebra je odvetví abstraktní algebry, které zkoumá vlastnosti spolecné ruzným druhum algebraických struktur. Abstraktní algebra zkoumá vlastnosti platné pro jednotlivé struktury (napríklad nejaká veta je dokázána pro grupu a není ji tedy nutné dokazovat pro nejruznejší matematické objekty, které splnují definici grupy), univerzální algebra míru abstrakce a obecnosti dále zvyšuje zkoumáním výsledku, které platí pro všechny variety (varietu grup, varietu svazu, varietu lineárních prostoru apod.) Výsledky univerzální algebry lze ješte dále zobecnit v teorii kategorií.