Un morfismo formula_17 se llama isomorfismo cuando es invertible, es decir, cuando existe un morfismo formula_24 tal que formula_30 y formula_31.