## [Funtor Representable](/es/node/61401) Definición Un functor F: C → Set (o C^op → Set) es representable si es isomorfo naturalmente al funtor Hom_C(A,−) (o Hom_C(−,A)) para algún objeto A de C; de forma equivalente existe un elemento universal de F que induce el isomorfismo natural y así identifica F con aplicaciones desde o hacia A. ## Principio Principio La existencia de un elemento universal (un punto en F(A)) produce una biyección natural Hom(A,X) ≅ F(X) para cada X, convirtiendo un funtor abstracto en una parametrización de morfismos desde o hacia un objeto fijo. ## Demostración Demostración En la categoría de R-módulos, el funtor Hom_R(R^n,−) es representable e isomorfo naturalmente al funtor que envía M a M^n; concretamente, R^n representa n‑tuplas por aplicaciones de R^n en M. ## Aplicación incorrecta Aplicación incorrecta Confundir representabilidad puntual con representabilidad natural: tener para cada objeto X una biyección entre F(X) y Hom(A_X,X) no da un único objeto representador a menos que esas biyecciones sean naturales en X y provengan de un solo A. ## Consecuencia Consecuencia Los funtores representables son manejables: preservan límites (en caso covariante) y sus propiedades se reducen a las del objeto representador; además aparecen como la imagen de objetos bajo la inmersión de Yoneda, ofreciendo control sobre las transformaciones naturales. ## Inversión Inversión Funtores no representables —como muchos problemas de moduli— no pueden describirse por un solo objeto; en su lugar se recurre a prorepresentabilidad o a reemplazos tipo stacks que debilitan la representabilidad estricta a límites o clases de equivalencia. ## Límite Límite La representabilidad es ser isomorfo naturalmente a un Hom-funtor y depende de la categoría ambiente y del codominio Set; cuestiones de tamaño, la varianza (covariante vs contravariante) y la exigencia de naturalidad excluyen identificaciones puntuales ingenuas. ## Tensión semántica Tensión semántica Entre 'existe A que representa F' y 'F tiene elementos en cada objeto': la tensión radica en que descripciones punto por punto sugieren representabilidad pero fracasan si no hay un elemento universal y naturalidad que vinculen los datos a un único objeto representador. ## Síntesis Síntesis Un funtor representable revela que una asignación paramétrica abstracta es en realidad parametrización por aplicaciones desde o hacia un solo objeto A: la existencia de un elemento universal produce biyecciones naturales Hom(A,−) ≅ F(−), convirtiendo datos funtoriales en familias de morfismos gobernadas por el objeto representador.