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

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

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

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

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

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

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

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

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.