Un par de funtores F : C → D y G : D → C junto con isomorfismos naturales ε : F∘G ⇒ Id_D y η : Id_C ⇒ G∘F (o equivalente: F plenamente fiel y esencialmente sobreyectivo) mostrando que C y D tienen la misma estructura categórica salvo isomorfismo de objetos; no es necesariamente un isomorfismo estricto de categorías sino una noción más débil que preserva propiedades categóricas.

Principio

La equivalencia captura cuándo dos categorías son 'lo mismo para todos los propósitos categóricos': los objetos corresponden hasta isomorfismo, los hom‑conjuntos corresponden vía F y G, y las construcciones categóricas se transportan a lo largo de la equivalencia.

Demostración

La categoría Vect_k^fd de espacios vectoriales de dimensión finita sobre un cuerpo k es equivalente a la categoría de módulos libres de rango finito sobre k; el funtor que envía un espacio vectorial a sí mismo considerado como módulo libre y su inverso proporcionan isomorfismos naturales entre las composiciones y las identidades hasta isomorfismo canónico.

Aplicación incorrecta

Tratar una mera biyección de clases de objetos o una correspondencia de los conjuntos subyacentes como equivalencia de categorías; ignorar la naturalidad de los isomorfismos o la plena fidelidad conduce a afirmaciones falsas de equivalencia.

Consecuencia

Si las categorías son equivalentes, cualquier propiedad categórica invariante por equivalencia (existencia de límites, ser abeliana, completitud, etc.) se cumple en una exactamente cuando se cumple en la otra; se pueden transferir construcciones y resultados por la equivalencia.

Inversión

Un isomorfismo estricto de categorías es una noción más fuerte (funtores inversos exactamente). La reversión de la equivalencia sería la falta de sobreyectividad esencial o de plena fidelidad, produciendo solo una inmersión más débil o un funtor denso.

Límite

La equivalencia es más débil que la igualdad de categorías: permite identificar objetos solo hasta isomorfismo. Requiere funtores e isomorfismos naturales; no implica igualdad de los conjuntos subyacentes ni identidad de objetos.

Tensión semántica

Conceptos cercanos: 'isomorfismo de categorías' (estricto, literal) vs 'equivalencia' (hasta isomorfismo). La tensión aparece al decidir si una semejanza estructural exige identidad literal o solo equivalencia hasta isomorfismo canónico.

Síntesis

Una equivalencia de categorías es el criterio categórico para cuando dos categorías presentan la misma matemática: funtores plenamente fieles y esencialmente sobreyectivos (o acompañados de isomorfismos naturales hacia las identidades) aseguran que nociones y construcciones categóricas se correspondan.