Diremos que un funtor formula_166 es una equivalencia si existe un funtor formula_167 tal que formula_168 y formula_169, donde diremos que las dos categorías son equivalentes.