Equazioni nell'algebra universale

[EnricoGhiorzi]

https://github.com/Progetto-ItaCa/libro/blob/7cbd11c5ad756ed4f4f520f0508b995985edc10b/cap/01-categorie.tex#L474

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?

[tetrapharmakon]

Sì, volevo aggiungerlo molto tempo fa ma ho sempre rimandato di scrivere meglio quell'esercizio/esempio.. Fallo tu, ti prego! ❤️

[EnricoGhiorzi]

Non riesco a mettermici ora ma mi assegno la issue, così almeno non perdiamo di vista il problema.