Cuando un morfismo tiene inversa a izquierda y a derecha, puede demostrarse que ambas deben coincidir.