Equazioni nell'algebra universale #31
Description
Line 474 in 7cbd11c
L'esempio non dice nulla di come imporre degli assiomi ai modelli, senza le quali non è possibile svolgere il successivo "esercizio tedioso" di dare definire in termini di algebra universale le categorie dei monoidi, gruppi, etc… È il caso di aggiungere un ulteriore commento in merito?