Un funtor F: C → D es una equivalencia de categorías si es plenamente fiel (induce biyecciones en conjuntos Hom) y esencialmente suprayectivo (cada objeto de D es isomorfo a F(c) para algún c en C); la equivalencia identifica categorías hasta isomorfismo de objetos en lugar de igualdad estricta.

Principio

La equivalencia captura la idea de 'misma estructura matemática' hasta isomorfismo coherente: los invariantes y construcciones invariantes por isomorfismo coinciden entre categorías equivalentes.

Demostración

Ejemplo: la inclusión de un esqueleto (subcategoría plena con un representante por cada clase de isomorfismo) en una categoría es una equivalencia; la categoría de conjuntos finitos es equivalente al esqueleto cuyos objetos son los números naturales (cardinalidades).

Aplicación incorrecta

Tratar categorías equivalentes como objetos y morfismos literalmente iguales, o esperar que una equivalencia preserve construcciones estrictamente en lugar de hasta isomorfismo; confundir equivalencia con una relación de adición más débil.

Consecuencia

Propiedades e invariantes definidos hasta isomorfismo (por ejemplo representabilidad, existencia de límites hasta iso, invariantes derivados) se conservan por equivalencia; las construcciones pueden transportarse a lo largo de una equivalencia sin pérdida esencial de información.

Inversión

En contraste, un funtor plenamente fiel pero no esencialmente suprayectivo, o esencialmente suprayectivo pero no plenamente fiel, no proporciona una equivalencia: ninguno garantiza la preservación de todos los datos invariantes por iso.

Límite

La equivalencia presupone categorías con isomorfismos y pasa por alto cuestiones de tamaño o elecciones de conjuntos en esqueletos; no afirma igualdad punto por punto de objetos y algunas estructuras más finas (límites elegidos, enriquecimientos estrictos) pueden no trasladarse sin datos adicionales.

Tensión semántica

La equivalencia se sitúa entre el isomorfismo de categorías (noción más estricta que exige inverso en sentido estricto) y correspondencias más débiles (como las adjunciones); la tensión práctica surge cuando se requieren igualdades estrictas en lugar de clases de isomorfismo.

Síntesis

La equivalencia de categorías formaliza cuándo dos estructuras categóricas codifican la misma teoría hasta isomorfismo: un funtor plenamente fiel y esencialmente suprayectivo permite transportar construcciones invariantes por iso e identificar categorías como 'idénticas' para la mayoría de propósitos matemáticos.