Par exemple, dans le langage des catégories, la somme de deux groupes, ben en fait c'est leur produit (produit direct usuel).
Et leur produit, ben c'est leur produit libre.

Pi n'est pas la bonne constante, la constante naturelle devrait être 2Pi.

Il y en a beaucoup d'autres, je verrai si ça me revient...

Espérons que tout ça sera corrigé dans la version 2.0 des maths.