Una relación entre categorías C y D dada por funtores F : C → D y G : D → C junto con isomorfismos naturales η: Id_C ⇒ G∘F y ε: F∘G ⇒ Id_D; equivalentemente F es esencialmente sobreyectivo en objetos y plenamente fiel, de modo que C y D comparten la misma estructura categórica hasta isomorfismo coherente.

Principio

La equivalencia captura la 'igualdad' de categorías hasta isomorfismo de objetos y morfismos: la plena fidelidad preserva exactamente los hom-conjuntos y la sobreyectividad esencial asegura que cada objeto del destino es isomorfo a uno de la imagen, proporcionando un comportamiento inverso hasta isomorfismo natural en lugar de igualdad estricta.

Demostración

Vec_k^fd (espacios vectoriales de dimensión finita sobre un campo k) es equivalente a la categoría Mat_k cuyos objetos son los números naturales n y cuyos morfismos n→m son matrices m×n sobre k: al elegir bases V ≅ k^n, el funtor que envía k^n a n y las aplicaciones lineales a sus matrices es plenamente fiel y esencialmente sobreyectivo hasta isomorfismo de base.

Aplicación incorrecta

Tratar la equivalencia como igualdad literal de categorías (esperar objetos y hom-conjuntos idénticos) o suponer que cualquier par adjunto da una equivalencia; no distinguir entre isomorfía estricta y equivalencia hasta isomorfía coherente es un error habitual.

Consecuencia

Cuando las categorías son equivalentes, todas las propiedades categóricas invariantes bajo equivalencia (límites, colímites, representabilidad, monadicidad, etc.) se transfieren entre ellas; se pueden realizar cálculos o clasificaciones en la categoría equivalente más simple y traducirlos mediante la equivalencia.

Inversión

Un isomorfismo estricto de categorías (un funtor invertible con inverso idéntico en la práctica) es más fuerte que la equivalencia; aflojar la equivalencia a mera adjuntidad o similitud de clases de objetos pierde coherencia y por lo general la transferibilidad de invariantes.

Límite

La equivalencia exige isomorfismos naturales y por tanto datos de coherencia; no demanda igualdad punto por punto de objetos ni conjuntos subyacentes idénticos. La equivalencia es una noción 2-categórica: dos categorías pueden ser equivalentes sin ser estrictamente isomorfas.

Tensión semántica

A menudo se confunde con isomorfismo de categorías o con tener biyecciones en objetos; la equivalencia es más sutil: permite renombrar objetos hasta isomorfismo y enfatiza preservar la estructura categórica más que la identidad literal.

Síntesis

Una equivalencia de categorías es un par de funtores que proporciona comportamiento inverso hasta isomorfismo natural, caracterizada por plena fidelidad y sobreyectividad esencial, y declara a dos categorías 'iguales' para fines categóricos mientras permite renombrados coherentes de objetos y morfismos.