Conceptos de equivalencia de categorías e isomorfismo natural