Diremos que un morfismo formula_164 es una equivalencia si formula_165 es un isomorfismo.