Algèbre universelle

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, les quotients, les produits et les objets libres pour ces structures.

Texte : extrait de l'article Wikipédia « Algèbre universelle », sous licence CC BY-SA 4.0.