Cuando, en tales diagramas, haya dos "caminos" de un conjunto a otro que representan iguales funciones (por composicion), decimos que el diagrama correspondiente es conmutativo.