L
'algèbre universelle est la branche de l'
algèbre qui a pour but de traiter de manière générale et simultanée les différentes
structures algébriques :
groupes,
monoïdes,
anneaux,
espaces vectoriels, etc. Elle permet de définir de manière uniforme les
morphismes, les sous-structures (
sous-groupes, sous-monoïdes,
sous-anneaux,
sous-espaces vectoriels, etc.), les quotients, les produits et les
objets libres pour ces structures.