Equivalencia Categórica

Una correspondencia estructural entre dos categorías que afirma que comparten el mismo contenido categórico hasta funtores invertibles e isomorfismos naturales; formalmente dada por un par de funtores que se componen en objetos naturalmente isomorfos a los funtores identidad respectivos.