En el ejemplo anterior, tenemos un triángulo y un cuadrado conmutativo, lo que quiere decir que formula_8 y formula_9 respectivamente.