## [Equivalencia de Categorías](/es/node/63716) Definición 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 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 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 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 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 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 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 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 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.