Dado un funtor covariante formula_130, diremos que es un isomorfismo de categorías, si formula_152 y formula_153.