Die universelle Algebra (auch allgemeine Algebra) ist ein Teilgebiet der Mathematik, genauer der Algebra, das sich mit allgemeinen algebraischen Strukturen und ihren Homomorphismen sowie gewissen Verallgemeinerungen befasst.
Während in der abstrakten Algebra und ihren jeweiligen Teilgebieten wie Gruppentheorie, Ringtheorie und Körpertheorie algebraische Strukturen mit bestimmten festen Verknüpfungen mit festgelegten Eigenschaften untersucht werden, befasst sich die universelle Algebra mit Strukturen im Allgemeinen, also mit Strukturen mit beliebigen Verknüpfungen und beliebigen festlegbaren Eigenschaften. Die Gruppentheorie etwa spricht allgemein über Gruppen, für die universelle Algebra sind Gruppen dagegen nur ein Beispiel für einen Typ algebraischer Strukturen. Die universelle Algebra ist verwandt mit der Modelltheorie, einem Teilgebiet der mathematischen Logik, das sich mit der Beziehung zwischen Strukturen und logischen Formeln, die diese beschreiben, befasst. Von zentralem Interesse ist dabei die Modelltheorie der Gleichungslogik.[1] Auch die Verbandstheorie findet Anwendung in der universellen Algebra. Die Kategorientheorie stellt einen noch allgemeineren Ansatz dar, von dem aus sich die universelle Algebra betrachten lässt. Dabei wird die Beschreibung von Strukturen allein auf das Verhalten ihrer strukturerhaltenden Abbildungen unter Verkettung, im Falle der universellen Algebra der Homomorphismen, reduziert.