L'algebra universale vuole vedere cosa c'e' di comune nei vari procedere dell'algebra astratta, in modo da farli solo 1 volta.
L'esempio che capisco di piu' e':
The Isomorphism theorems, which encompass the isomorphism theorems of groups, rings, modules, etc