Produit Libre

Le coproduit dans une catégorie algébrique donnée (classiquement les groupes, les algèbres associatives unitales ou d'autres variétés) : l'objet universel engendré par les facteurs soumis uniquement aux relations déjà présentes dans chaque facteur.