1 TRANSFORMACIONES NATURALES En los cursos de aritmtica elemental se nos ensea que la n-sima potencia de la m{esima potencia de un nmero a es igual

a la (n m)-sima potencia de a. Desde el punto de vista de la Teora de los Conjuntos, este resultado no es ms que un caso particular de uno mucho ms general conocido con el nombre de ley exponencial de los conjuntos. Asegura que para cualesquiera A, B, C Set es vlida la equivalencia A B C ' C AB entendida como la biyectividad entre los conjuntos de funciones Set (B, Set (A, C )) y Set (A B, C )

Para demostrar esta ley habra que denir una funcin desde cada uno de estos conjuntos en el otro, con la idea de obtener la invertibilidad mutua entre las dos funciones denidas. Intentemos denir una, digamos C : Set (B, Set (A, C )) Set (A B, C ) 1 Escogiendo cualquier f Set (B, Set (A, C )) tenemos que f es una funcin que asocia con cada b B una nica funcin fb : A C Observemos que, en consecuencia, siempre que tengamos a la mano cualesquiera elementos a A y b B , es posible determinar un elemento en C como fb (a). Y puesto que hay que determinar un elemento en C toda vez que est dado un par (a, b) A B para as dejar denida la imagen, (C )f , de f bajo C , resulta natural hacerlo escribiendo (C )f (a, b) = fb (a) Recprocamente, si queremos denir C : Set (A B, C ) Set (B, Set (A, C )) entonces, dada g Set (A B, C ) se antoja proponer como su imagen ( C )g bajo C la regla que pone en correspondencia con cada b B una funcin ( C )gb : A C denida como ( C )gb (a) = g (a, b) Es fcil ver que tanto C como C son funciones bien denidas.

2 Si ahora componemos C con C tenemos que para cualequier g Set (A B, C ) C C (g ) = C ( C )g = (C )(C )g : A B C es tal que para cualquier (a, b) A B (C )(C )g (a, b) = ( C )gb (a) = g (a, b) lo que signica que C C (g ) = g Y si componemos C con C , entonces para cualquier f Set (B, Set (A, C )) tenemos que C C (f ) = C (C )f = ( C )(C ) es tal que para cualquier b B ( C )[(C ) ] (a) = (C )f (a, b) = fb (a) f b o sea que para cualquier b B de modo que C C (f ) = f Por lo tanto, C y C han resultado, efectivamente, inversas entre s. No deja de llamar la atencin ni de sorprender el hecho de que un problema en apariencia complicado como ste de establecer la equivalencia entre los dos conjuntos de funciones anteriores, se resuelva simplemente siguiendo las sugerencias que los conceptos y la notacin misma nos proponen. Es muy probable que la respuesta se le ocurra a cualquier persona que comprenda el planteamiento del problema y que slo conozca el concepto de funcin. Si despus se le pregunta cmo se le ocurrieron las deniciones de C y de C , la respuesta suele ser: ...porque es natural. Al contemplar esta naturalidad, queda en uno la impresin de que en casos como ste basta prestarse al juego simblico hasta que zaz!, el problema quede resuelto. A mediados del siglo XX dos matemticos, Eilemberg y Mac Lane, sospecharon que en situaciones como sta las matemticas guardaban una peculiaridad muy sutil, y la bsqueda de comprender en qu consiste exctamente esa sutileza los condujo al desarrollo de la Teora de las Categoras. Para intentar poner en relieve lo que subyace en la supuesta naturalidad de situaciones como la presente, hay que complicar un poco las cosas introduciendo en la consideracin la idea de transformacin natural. Denicin. Sean F1 , F2 : < dos funtores arbitrarios entre categoras arbitrarias. Diremos que F1 se transforma naturalmente en F2 si para todo <-objeto A existe un -morsmo A : F1 A F2 A ( C )[(C ) ] = fb f b
f

: B Set (A, C )

3 tal que para cualquier <-morsmo h : A B se tenga

A F1 A F2 A F1 h F2 h B F1 B F2 B

En tal caso hablaremos de una transformacin natural de F1 en F2 y escribiremos : F1 F2 Ejercicio 10 (de la 3 a tanda) El funtor cuadrado cartesiano Q2 : Set Set se dene, para todo conjunto X como Q2 X = X X donde X X es el conjunto X X = {(x1 , x2 ) : x1 , x2 X } ; y para todo Set-morsmo f : X Y como Q2 f = f f : X X Y Y donde, para cualquier (x1 , x2 ) X X , f f viene denida por f f (x1 , x2 ) = (f (x1 ) , f (x2 )) a) Compruebe que Q2 preserva composiciones e identidades. b) Considere el funtor conjunto potencia covariante, P ot, denido en K.1.9.5 y demuestre que : Q2 P ot y : Q2 P ot denidas para todo X Set como 2X X : X X (x1 , x2 ) 7 {x1 , x2 } y X : X X 2X (x1 , x2 ) 7

son transformaciones naturales. En la ley exponencial de los conjuntos se halla implcita una transformacin natural entre funtores de Set. Denicin. Sea < una categora arbitraria y sea D uno cualquiera de sus objetos. El hom-funtor en D es un funtor HD : < Set que para todo <-objeto A se dene como HD A = < (D; A)

4 y para todo <-morsmo h < (A, B ), como la funcin HD h : < (D; A) < (D; B ) f 7 hf Veamos que esto dene efectivamente un funtor. [a] HD preserva composiciones. Si h < (A, B ) entonces, para cualquier f < (D, A), HD (kh) (f ) = (kh) (f ) = k (hf ) = HD k (hf ) = (HD k) (HD h) (f ) es decir HD (kh) = (HD k) (HD h) [b] HD preserva identidades. Sea f < (D, A); entonces HD 1A (f ) = 1A f = f = 1<(D,A) (f ) es decir HD 1A = 1HD A [ ] Ahora jemos en Set cualesquiera dos conjuntos A, B y consideremos el producto cartesiano A B . Con los hom-funtores HA y HB podemos formar el funtor compuesto HB HA : Set Set Reconsideremos, por otra parte, la funcin C : Set (B, Set (A, C )) Set (A B, C ) que denimos en la demostracin de la ley exponencial; observemos que ahora podemos denotarla como C : HB HA C HAB C Veamos que cualesquiera que sean C, D Set conmuta el diagrama HB HA C HB HA h HB HA D Para ello recordemos que si f HB HA C y f (b) = fb Set (A, C ) y h Set (C, D) HAB C HAB h HAB D y k < (B, C )

5 entonces, segn la denicin de C tenemos que C (f ) = (C )f HAB C es tal que para todo (a, b) A B (C )f (a, b) = fb (a) Por otro lado, segn la denicin de hom-funtor, HA h es la funcin HA h : Set (A, C ) Set (A, D) ; g 7 hg en consecuencia HB HA h es la funcin HB (HA h) : Set (B, Set (A, C )) Set (B, Set (A, D)) f 7 (HA h) f de manera que HB HA h (f ) : B Set (A, D) es la composicin HB HA h (f ) : B Set (A, C ) Set (A, D) b 7 fb 7 hfb Por lo tanto, un camino en el diagrama nos conduce a la funcin (D ) (HB HA h) (f ) = (D )HB HA h(f ) tal que para todo (a, b) A B (D )HB HA h(f ) (a, b) = hfb (a) El otro camino nos lleva a la funcin (HAB h) (C ) (f ) = (HAB h) (C )f = h (C )f y para todo (a, b) A B h (C )f (a, b) = hfb (a)

Esto demuestra la conmutatividad del diagrama y prueba la existencia de una transformacin natural del funtor compuesto HB HA en el hom-funtor HAB . Para comprender mejor las consecuencias que tiene esto, es conveniente saber ms de las transformaciones naturales estudiando algunas de sus propiedades. Por ejemplo, ocurre que podemos componer funtores y transformaciones naturales. En efecto, sean = <1 <2
F2 E F1

6 categoras y funtores arbitrarios, y supongamos que existe una transformacin natural : F1 F2 Sean A, B =-objetos cualesquiera. Entonces EA, EB <1 y existen <2 -morsmos EA : F1 EA F2 EA tales que si h = (A, B ), entonces F1 EA F1 Eh F1 EB EA F2 EA F2 Eh F2 EB y EB : F1 EB F2 EB

EB

Esto nos permite denir la composicin de con E E : F1 E F2 E como aquella regla que para todo =-objeto A tiene determinado el <2 -morsmo ( E )A = EA y podemos asegurar, debido al diagrama anterior, que es una transformacin natural. Ahora consideremos la otra situacin lateral. Sean <1 <2
F2 F1 G

categoras y funtores arbitrarios, con la transformacin natural : F1 F2 Entonces, para cualesquiera B, C <1 en <2 tenemos el diagrama F1 B F1 g F1 C y g <1 (B, C ) F2 B

F2 g F2 C C Debido a que G preserva composiciones, el diagrama anterior da lugar, en , a ste otro GF1 B GF1 g GF1 C G B G C GF2 B GF2 g GF2 C

7 Por lo tanto, tambin podemos referirnos a la transformacin natural G : GF1 GF2 que para todo B <1 dene un -morsmo (G )B mediante la igualdad (G )B = G B Finalmente, consideremos las dos composiciones simultneamente. = <1 <2
F2 E F1 G

De acuerdo con lo que acabamos de ver, podemos hablar de las transformaciones naturales G ( E ) : G (F1 E ) G (F2 E ) y (G ) E : (GF1 ) E (GF2 ) E

Ambas transforman al funtor GF1 E en el funtor GF2 E ;5 adems, conforme a lo anterior, para cualquier A = tenemos, por un lado [G ( E )]A = G ( E )A = G EA en tanto que por otro lado [(G ) E ]A = (G )EA = G EA Por lo tanto, G ( E ) = (G ) E . Las transformaciones naturales tambin pueden componerse entre s, dando lugar a nuevas transformaciones naturales. Denicin. Sean F1 , F2 , F3 : < funtores y categoras arbitrarios; si : F1 F2 y : F2 F3

son transformaciones naturales, entonces la composicin : F1 F3 viene denida mediante ( )A = A A Veamos que ha quedado denida, efectivamente, una transformacin natural. En efecto, si f < (A, B ), entonces tenemos F1 A F1 f F1 B
5

F2 A

F2 h F2 B B

F3 A F3 h F3 B

Vase (a) del ejercicio 1 de la 1a tanda.

8 debido a lo cual, tambin F1 A F1 f F1 B que es lo que se tena que probar.[ ] 4 a tanda de ejercicios: 1. Sean =<
F2 F1

A A B B

F3 A F3 f F3 B

<
G2

G1

funtores y categoras cualesquiera. Si : F1 F2 y : G1 G2

son transformaciones naturales arbitrarias, probar que

G F G1 F1 2 2 ( G2 )(F1 ) (F2 )(G1 )

son transformaciones naturales y que ( F2 ) (G1 ) = ( G2 ) (F1 ) Obsrvese que con esta denicin terminan quedando explcitamente implcitos tres datos en el contexto en que nos hallamos: ( . ) El que se reere a una clase de objetos, siempre que estn dadas dos categoras arbitrarias < y ; estos objetos son los funtores de < en . ( .. ) Otro dato nos permite referirnos, cualesquiera que sean dos de estos objetos, a una clase de morsmos entre ellos: la clase de transformaciones naturales entre los dos funtores de que se trate. () Finalmente, la ley de composicin entre morsmos dada en la denicin anterior. Salvando por el momento el cuidado que debemos tener en cuanto a que la clase de morsmos entre cualesquiera dos objetos sea un conjunto, y salvo, tambin, la comprobacin de los axiomas correspondientes, lo implcito en el contexto es una categora. Tal parece que, como ocurre con teoras concretas como la topologa en donde la nocin de espacio topolgico puede extenderse hasta los conjuntos de funciones continuas entre dos espacios dados, aqu tambin podremos extender la nocin de categora para referirnos a la categora de funtores entre dos categoras. Para ir formalizando esta cuestin, intentemos primero la comprobacin de los axiomas de una categora.6 1. Sean F1 , F2 < G1 , G2 funtores arbitrarios entre categoras arbitrarias, y supongamos que transforma natural y simultneamente a F1 en F2 y a G1 en G2 : F1 F2
6

: G1 G2

Denicin K.0.0.

9 Entonces, para todo <-objeto A A (F1 A, F2 A) (G1 A, G2 A) lo cual implica (por el axioma que estamos revisando, pero aplicado a la categora ) que F1 A = G1 A En consecuencia F1 1A = G1 1A Pero an ms; puesto que tenemos A F2 A = G2 A F1 h G1 h F2 h G2 h F1 B = G1 B F2 B = G2 B B F1 A = G1 A cualquiera que sea h < (A, B ) y cualesquiera que sean A y B en <, tambin tenemos F1 h = G1 h Por lo tanto F1 = G1 2. Sean los funtores F1 , F2 , F3 , F4 : < y las transformaciones naturales : F1 F2 : F2 F3 : F3 F4 Entonces [ ( )]A = A ( )A = A ( A A ) = (A A ) A = ( )A A = [( ) ]A (= est justicada por el mismo axioma que estamos revisando, pero aplicado a los morsmos A , A , A ). Esto se ve reejado en que para cualquier f < (A, B ), al diagrama F1 A F1 f F2 f F1 B F2 B B A F2 A A F3 A F3 f F3 B A F4 A F4 f F4 B

y y

F2 A = G2 A F2 1A = G2 1A

y y

F2 h = G2 h F2 = G2

podemos hacerlo conmutar en sus dos primeros tercios con el tercero o bien en los dos ltimos con el primero, obteniendo en ambos casos el mismo resultado. Por lo tanto ( ) = ( ) 3. Sea F : <

10 un funtor arbitrario entre categoras cualesquiera, y sea 1F : F F tal que, para todo A < (1F )A = 1F A

Entonces, cualquiera que sea f < (A, B ), es obvio que FA Ff FB (1F )A FA Ff FB

(1F )B

lo cual implica que 1F es una transformacin natural. Adems, si : E F son transformaciones naturales, entonces 1F : E F y 1F : F G y : F G

son transformaciones tales que para todo A < (1F )A = (1F )A A = 1F A A = A y ( 1F )A = A (1F )A = A 1F A = A

(debido al mismo axioma en que estamos pero aplicado al -morsmo 1F A ). Por lo tanto 1F = y 1F =

como haba que probar.[ ] Los tres axiomas que denen a una categora han sido, pues, comprobados. Para saber si podemos hablar, en general, de la categora de funtores entre dos categoras jas arbitrarias slo resta atacar la cuestin acerca de si la clase de transformaciones naturales entre dos funtores arbitrarios es un conjunto. Desgraciada, o quizs, afortunadamente, la respuesta a esta interrogante es negativa. De hecho, ni siquiera es formalmente lcito, desde el punto de vista de la Teora de los Conjuntos, referirnos a la coleccin de funtores entre dos categoras cualesquiera como a una clase. Si nos hemos permitido haber incurrido en este error en el inciso ( . ) anterior es porque a lo largo de este trabajo hemos hablado de clases vaga e imprecisamente. Es justamente a consecuencia de que la coleccin de funtores entre dos categoras jas < y no siempre es una clase, que tampoco necesariamente la coleccin de transformaciones naturales entre dos funtores F1 , F2 : < es un conjunto. Sin embargo, impidiendo que el exponente < crezca demasiado, es posible hablar de la categora < de funtores y transformaciones naturales. Para demostrar esta aceveracin recordemos que el producto cartesiano de una familia de conjuntos (X ) Q X

11 es el conjunto de elementos de la forma x = (x ) donde x X para toda . Observemos, por otra parte, que una transformacin natural : F1 F2 puede mirarse como un elemento de la forma = ( A )|<| donde A (F1 A, F2 A) para toda A |<|; y si la clase |<| de <-objetos es un conjunto, entonces es un elemento del producto Q (F1 A, F2 A)
A|<|

y la clase < (F1 , F2 ) de transformaciones naturales es un subconjunto de este producto. Denicin. Sean, < una categora pequea y una categora arbitraria. Entonces < denotar a la categora cuyos objetos son los funtores de < en , y para cualesquiera funtores F1 , F2 < < (F1 , F2 )

es el conjunto de transformaciones naturales de F1 en F2 . < es, pues, la categora de funtores y transformaciones naturales. Ejemplos : 1. Pensemos en el conjunto {0, 1} con el orden inducido por el usual de Z y denotemos por D a la categora D = ({0, 1} , ) formada por el copro correspondiente. Entonces D posee dos objetos 0 y un morsmo no trivial h0, 1i adems de los morsmos idnticos h0, 0i = 10 y h1, 1i = 11
7

Si es una categora arbitraria, entonces todo funtor F : D determina en dos objetos F0

7

F1

Vase el ejemplo K.0.2.4.

12 y un morsmo aparte de las identidades que preserva pero que no determina F 10 = 1F 0 Sea otro funtor; entonces, una transformacin natural G : D :F G viene dada por dos -morsmos 0 : F 0 G0 tales que F0 F h0, 1i F1 y 0 1 : F 1 G1 G0 G h0, 1i G1 F 11 = 1F 1 F h0, 1i : F 0 F 1

1 Observemos que, recprocamente, todo -morsmo

f : A0 A1 determina un funtor En efecto, F queda determinado por F : D y F h0, 1i = f

A0 = F 0 A1 = F 1

En consecuencia, podemos describir a D como la categora cuyos objetos son todos los morsmos (y que por eso se habla de D como de la categora de morsmos de ) y cuyos conjuntos de morsmos f g D A0 A1 , B0 B1 consta de parejas de -morsmos 0 1 A0 B0 , A1 B1 A0 f A1
8

tales que

0 1

B0 g B1
8

[ ]

Cf. con el ejemplo K.0.2.2 que es el caso particular en que = Set.

13 2. Si en lugar del orden inducido damos a {0, 1} el orden discreto x1 y denotamos por 2 = ({0, 1} , ) a la categora correspondiente, entonces 2 slo consta de los objetos 0 y de los morsmos idnticos 10 y 11 En consecuencia, todo funtor de 2 en determina (y est determinado por) un par de objetos de . Sean F, G : 2 funtores cualesquiera y sean A0 = F 0 A1 = F 1 Entonces, una transformacin natural :F G viene dada por cualquier par de -morsmos 0 : A0 B0 y 1 : A1 B1 y B0 = G0 B1 = G1 y 1 x2 x1 = x2

La condicin de naturalidad (que consiste en hacer conmutar en el diagrama correspondiente a cualquier morsmo de la categora 2) aqu se satisface trivialmente, porque los 2-morsmos f son dos: f = 10 f = 11 y tenemos A0 1A0 A0 0 0 B0 1B0 B0 A1 1A1 A1 1 1 B1 1B1 B1 [ ]

Pasando a otra cosa, es claro que en una categora de funtores y de transformaciones naturales podemos hacer referencia a todos los conceptos que se han denido para cualquier categora como son, por ejemplo, los tipos especiales de morsmos: los monomorsmos, los epimorsmos, los isomorsmos, etctera; se entiende que de ellos se derivarn tipos especiales de transformaciones naturales (vistas como morsmos). Ahora bien; tomando en cuenta que la nocin de transformacin natural es previa a la de categora de funtores y precursora de ella, nada nos impide soslayar el rol de morsmo de una transformacin natural para as poder extender a transformaciones naturales abstractas estos tipos especiales de ellas

14 que surgen cuando se las mira como a morsmos. Hacerlo as, da lugar a las deniciones siguientes. Deniciones. Sean < y categoras arbitrarias, y F1 , F2 : < funtores arbitrarios. Una transformacin natural : F1 F2 es un isomorsmo natural si existe otra transformacin natural : F2 F1 tal que = 1F1 y = 1F2 En tal caso diremos que F1 y F2 son funtores naturalmente isomorfos y escribiremos F1 = F2 Ejercicio 2. Probar que el funtor Q2 del ejercicio 10 anterior es naturalmente isomorfo al hom-funtor H2 : Set Set, donde 2 = {0, 1} deniendo una transformacin natural : Q2 H2 que sea un isomorsmo. Proposicin. Si F1 , F2 : < son funtores arbitrarios entre categoras arbitrarias y : F1 F2 es una transformacin natural, entonces son equivalentes: (a) es un isomorsmo natural. (b) Para todo A < A : F1 A F2 A es un -isomorsmo. Demostracin. (a) (b) Por (a) existe : F2 F1 tal que = 1F1 Por lo tanto, si A < entonces A A = ( )A = (1F1 )A = 1F1 A lo cual signica que A es un -isomorsmo. y A A = ( )A = (1F2 )A = 1F2 A y = 1F2

15 (b) (a) Por (b), para todo A < existe A : F2 A F1 A tal que A A = 1F1 A y A A = 1F2 A Hay que probar que se tiene denida una transformacin natural : F2 F1 Para ello hay que probar que si f < (A, B ), entonces conmuta el diagrama F2 A F2 f F2 B Pensmoslo as: F2 A F2 f F2 B Tenemos: B F2 f = B F2 f ( A A ) = B (F2 f A ) A = B ( B F1 f ) A = ( B B ) F1 f A = F1 f A Por lo tanto, es una transformacin natural tal que = 1F1 y = 1F2 A A F1 A F1 f F1 B A

F1 A F1 f F1 B

F2 A F2 f F2 B

lo cual signica que es un isomorsmo natural.[ ] Ejemplos : 1. En conformidad con la demostracin que dimos de la ley exponencial de los conjuntos sabemos que, para todo C Set, la funcin C : HB HA C HAB C es una biyeccin (un Set-isomorsmo). Aplicando el resultado de la proposicin anterior tenemos que la transformacin : HB HA HAB es un isomorsmo natural.[ ] 2. Para mostrar otro ejemplo fundamental de isomorsmo natural, consideremos la categora VecR . Para cualquier V VecR consideremos el espacio vectorial de formas lineales V = {f : V (R, (+, )) | f es lineal} llamado espacio dual de V .

16 Suponiendo que V es de dimensin nita y que = {e1 , e2 , ..., en } es una de sus bases, podemos denir, para cada j {1, 2, ..., n}, la funcin pj : V (R, (+, )) tal que 0, si i 6= j pj (ei ) = 1, si i = j = {p1 , p2 , ..., pn }

Es fcil ver que pj V y que

es base de V . Por consiguiente, V y V son de la misma dimensin y, en consecuencia, la aplicacin : V V tal que en los vectores de est denida como (ei ) = pi es un isomorsmo. Es de notar que la denicin de se atiene a la eleccin de una base previamente determinada. Por otro lado, puesto que esta construccin vale para cualquier espacio vectorial de dimensin nita, podemos aplicarla a V y asegurar que tambin V y V (es decir, el espacio dual de V ) tienen la misma dimensin. En consecuencia, tambin V y V son isomorfos. Intentemos denir un isomorsmo V de V y V . Para ello hagamos, para todo x V , b V (x) = x

y tratemos de denir la regla de correspondencia de x b : V (R, (+, )) x b (p) = p (x)

Despus de pensarlo un momento se antoja proponer, para toda p V ,

Observemos que, en contraste con la denicin de , la denicin de V no hace referencia a base alguna. Como veremos a continuacin, se trata de un isomorsmo. En efecto, para cualesquiera x, y V y R tenemos: [ (i) x + y (p) = p (x + y ) = p (x) + p (y ) = x b (p) + y b (p); (ii) c x (p) = p (x) = p (x) = x b (p) lo que signica que V es una aplicacin lineal. Adems, si un vector x de V se descompone en la base como x = x1 e1 + x2 e2 + ... + xn en

17 y es tal que V (x) = b 0 : V (R, (+, )) p 7 0 p (x) = 0 En particular, si evaluamos a x bajo cada funcin pj de la base de V tambin pj (x) = 0 Pero, para toda j {1, 2, ..., n}, pj (x) = xj

entonces, de acuerdo con la denicin de V , tenemos que para toda p V

Por lo tanto, x = 0. Esto implica que V es un VecR -morsmo inyectivo. Y si escogemos arbitrariamente un vector de V y para toda j {1, 2, ..., n} tenemos que (pj ) = rj entonces, para x = r1 e1 + r2 e2 + ... + rn en tendremos V (x ) = En efecto, sea p = a1 p1 + a2 p2 + ... + an pn V arbitrario. Entonces x b (p) = = = = = p (x ) a1 p1 (x ) + a2 p2 (x ) + ... + an pn (x ) a1 r1 + a2 r2 + ... + an rn a1 (p1 ) + a2 (p2 ) + ... + an (pn ) (p)

tambin es lineal, porque, en conformidad con lo que acabamos de demostrar, la imagen bajo V del vector x + es V (x + ) = + ; pero, por la linealidad de V V (x + x ) = V (x ) + V (x ) = + ;

que es a lo que queramos llegar. Por lo tanto, V es un VecR -morsmo suprayectivo. Finalmente, la aplicacin 1 V V : V 7 x

18 y puesto que V es inyectivo, resulta que x es decir

1 1 1 V ( + ) = V ( ) + V ( ) +

= x + x

Recurriendo nuevamente a la linealidad de V tenemos, cualquiera que sea R: V (x ) = V (x ) = ; pero = V (x ) ; debido a la inyectividad de V tenemos x = x es decir
1 1 V ( ) = V ( )

Toca el turno de conrmar que mediante V se tiene denido un isomorsmo natural. Para ello consideremos el funtor dualidad D : VecR Vecop R denido, para todo V VecR , por DV = V
9

y para toda aplicacin lineal g : V W , Dg = g : W V es la aplicacin lineal que asocia a toda forma lineal p W la forma lineal pg V . Asegurmonos de que D satisface las condiciones exigidas por la denicin de funtor. [a] Sean f g U V W aplicaciones lineales arbitrarias. Entonces (gf ) : W U es tal que para cualquier p W (gf ) (p) = p (gf ) = (pg) f = f (pg) = f g (p) = (Dg op Df ) (p) Por lo tanto, D preserva composiciones.
He aqu el por qu del nombre asignado al espacio vectorial V : se llama espacio dual porque viene dado por el funtor que va de VecR en la categora dual Vecop R .
9

19 [b] Por otra parte, para la aplicacin lineal 1V del espacio V tenemos
D1V = 1 V V : V p 7 p1V = p

de modo que 1 V = 1V Por lo tanto, D preserva identidades. Para seguir adelante recordemos que al funtor dual de un funtor dado lo denen las mismas reglas que denen al dado. En consecuencia, bajo la composicin
op op VecR Vecop = VecR R (VecR ) D Do p

la imagen de cualquier espacio vectorial V es Dop DV = Dop V = (V ) = V y la imagen de cualquier aplicacin lineal g : V W es Dop Dg = Dop g = (g ) = g : V W Los VecR -isomorsmos V de V en V denen un isomorsmo natural entre el funtor identidad 1Vec R y el funtor Dop D. Para demostrarlo basta probar que conmuta el diagrama V g W V V g W

Sea x V ; uno de los caminos nos conduce a la forma lineal b) = x bg W ; g V (x) = g (x b (pg ) = pg (x) x bg (p) = x [ (x) W g (x) = g lo cual, aplicado a p da [ g (x) (p) = p (g (x)) que es a lo que se quera llegar. Por lo tanto, : 1Vec R Dop D es natural.[ ]

si aplicamos esta forma a un elemento p : W (R, (+, )) de su dominio, obtenemos

Ahora vmonos por el otro camino; tenemos

20 3. Para este ejemplo consideraremos la categora Mon y, desde ella, el funtor que olvida U : Mon Set y el hom-funtor en el monoide aditivo N = (N, (+, 0)) de nmeros naturales HN : Mon Set Sea A = (X, (, e)) cualquier otro monoide; denamos A : Mon (N, A) X f 7 f (1) Entonces, para cualquier otro monoide B = (Y, (, e)) y para cualquier homomorsmo h : A B conmuta el diagrama Mon (N, A) HN h Mon (N, B ) B A X h Y
10

En efecto, para cualquier f Mon (N, A), uno de los caminos nos lleva a h A (f ) = h (f (1)) = (hf ) (1) y tambin el otro camino: B HN h (f ) = B (hf ) = (hf ) (1) Por lo tanto, hay una transformacin natural : HN U Recordemos, por otra parte, que en K.7.2 vimos que N es libre sobre {1}; esto quiere decir que para todo monoide A = (X, (, e)) y para toda funcin f0 = {1} X existe un nico homomorsmo f de N en A que extiende a f0 . Desde luego, de {1} en X pueden denirse tantas funciones como elementos distintos tenga X . Esto implica la existencia de una biyeccin entre los conjuntos Mon (N, A) y X , para todo monoide A; y en efecto, precisamente cada funcin A dene una biyeccin entre estos conjuntos. Por lo tanto, como consecuencia del resultado de la proposicin anterior, tenemos que : HN U
10 No debiramos dejar de mencionar el abuso de notacin que estamos cometiendo denotando con la misma letra h al homomorsmo entre los monoides A y B y a la funcin entre los conjuntos subyacentes X, Y . Si hubiese que ser demasiado estrictos habra que recurrir a la notacin formal para morsmos en una categora concreta, convenida en la denicin K.0.5, y denotar, en este caso, al homomorsmo entre A y B por (h, ((, e) , (, e))). Aclarado esto, el abuso cometido ya no puede dar lugar a equvocos.

21 es un isomorsmo natural.[ ] 4. El lector ya habr advertido que la situacin presentada en el ejemplo anterior no es exclusiva de Mon. En efecto, si en una categora concreta K , un K -objeto D es libre sobre un solo generador, entonces el hom-funtor HD correspondiente y U , el funtor que olvida, son naturalmente isomorfos. En tal caso, siendo d el generador libre de D, la transformacin natural : HD U denida por A (f ) = f (d) es un isomorsmo natural.[ ] Esta situacin en la que un hom-funtor resulta naturalmente isomorfo al funtor que olvida, es propia de aquellas categoras concretas con objetos libres en un solo generador; es decir, es vlido el resultado recproco al planteado en el ejemplo anterior. Proposicin. Sea K cualquier categora concreta. Si el funtor que olvida U : K Set es naturalmente isomorfo a un hom-funtor HD , entonces el K -objeto D es libre sobre un solo generador. Demostracin. Sea : HD U un isomorsmo natural; entonces, para todo K -objeto A, la funcin A : HD A UA es biyectiva. En consecuencia, para todo a UA existe un nico morsmo f K (D, A) tal que A (f ) = a Consideremos, por otra parte, el morsmo identidad 1D HD D y hagamos d = D (1D ) Entonces d UD Probaremos que D es libre sobre {d}. En efecto, supongamos que para un K -objeto A cualquiera se tiene denida una funcin f0 = {d} U A

22 Sea a = f0 (d) y sea f K (D, A) el nico K -morsmo tal que A (f ) = a Debido a la naturalidad de , tenemos el diagrama K (D, D) D UD Uf UA

HD f K (D, A) A

Uno de los caminos en el diagrama nos lleva de 1D K (D, D) a A HD f (1D ) = A (f ) = a mientras que el otro camino nos conduce a Uf D (1D ) = Uf (d) = f (d) Puesto que el diagrama es conmutativo, tenemos f (d) = a Esto demuestra que el K -morsmo f es extensin nica de la funcin f0 . Por lo tanto, D es libre sobre {d}.[ ] Este resultado y su recproco constituyen un caso particular de una situacin de ms amplia caladura que analizaremos a continuacin. Observemos que cuando en una categora concreta K un punto d del conjunto subyacente de un K -objeto D es un generador nico en D, entonces, con relacin al funtor que olvida U : K Set el punto d posee la propiedad de que para todo K -objeto A y para todo punto a U A existe un nico K -morsmo f : D A tal que Uf (d) = a En la denicin que sigue daremos un nombre a los puntos que, en general, son poseedores de esta propiedad. Denicin. Sea < una categora arbitraria y supongamos que puede denirse un funtor F : < Set

23 Entonces, un punto universal del funtor F es un elemento d del conjunto imagen F D, de algn <-objeto D bajo F , con la propiedad de que para todo <-objeto A y para todo punto a F A, existe un nico <-morsmo f : D A tal que F f (d) = a Ejercicio 3. Sea < una categora cualquiera y sea HD : < Set un hom-funtor arbitrario. Probar que 1D es un punto universal de HD . Pues bien, resulta que todo funtor en Set (i.e. todo funtor de codominio Set) con al menos un punto universal, es naturalmente isomorfo a un hom-funtor, y recprocamente. Para probar esto11 , abordaremos el estudio de las transformaciones naturales de que son suceptibles los hom-funtores de cualquier categora, lo cual nos llevar al establecimiento de un lema (por s mismo importante) del que nos valdremos para probar que un isomorsmo natural entre un hom-funtor y un funtor en Set implica la existencia de un punto universal del funtor en Set. Para empezar observemos que siempre que desde una categora < arbitraria tenemos un funtor F : < Set es posible, cualquiera que sea un <-objeto D, denir transformaciones naturales del homfuntor HD en F . En efecto, sea d F D un punto arbitrario, y denamos, para todo <-objeto A, la funcin FA d A : HD A f 7 F f (d) Veamos que, cualquiera que sea h < (A, B ), conmuta el diagrama < (D, A) d A FA Fh FB

HD h < (D, B ) d B

En efecto, si f < (D, A), entonces, por un lado tenemos (F h) d A (f ) = F h (F f (d)) = F (hf (d))
..., es decir, lo recproco; porque lo enunciado ya es demostrable desde ahorita. En trminos de esta denicin, el ejemplo 4 anterior viene a ser caso particular (cuando < es concreta) de lo que sigue: Prop. Si de una categora < arbitraria sale un funtor F : < Set con un punto universal, entonces, para algn <-objeto D, resulta ser F naturalmente isomorfo al hom-funtor HD .
11

24 y tambin por el otro lado:

d d B HD h (f ) = B (hf ) = F (hf (d))

Por lo tanto, tenemos una transformacin natural d : HD F [ ]

Ahora consideremos la familia de transformaciones naturales d FD

y observemos que en ella se encuentran todas las posibles transformaciones naturales de HD en F . En efecto, si : HD F d = D (1D )

es cualquier transformacin natural, hagamos

Entonces d FD y si A es cualquier <-objeto y f < (D, A) es cualquier morsmo, entonces debido a la naturalidad de tenemos el diagrama < (D, D) D FD Ff FA

HD f < (D, A) A

cuyos caminos nos llevan de 1D < (D, D), por un lado, a F f D (1D ) = F f (d) y, por el otro lado, a A HD f (1D ) = A (f ) Puesto que el diagrama es conmutativo, tenemos A (f ) = F f (d) lo cual signica que Tambin es de observar que, considerando al conjunto F D y a la familia d F D , la correspondencia d 7 d = d

25 es inyectiva, porque si d1 y d2 son distintos elementos de F D, entonces

d2 1 d D (1D ) = F 1D (d1 ) = 1F D (d1 ) = d1 6= d2 = 1F D (d2 ) = F 1D (d2 ) = D (1D ) lo cual implica que tambin d1 y d2 son miembros distintos de d F D . El resumen de estos resultados constituye el lema de que hablamos antes. Lhpd gh Yrqhgd. Sea < una categora arbitraria y supongamos que se tiene un funtor

F : < Set arbitrario. Entonces, cualquiera que sea D <, la aplicacin d 7 d dene una biyeccin del conjunto F D en el conjunto de transformaciones naturales de HD en F .[ ] Ejercicio 4. Sea < cualquier categora y considere cualquier <-objeto C . Demuestre que para todo <-objeto D existe una biyeccin entre el conjunto de <-morsmos de C en D y el conjunto de transformaciones naturales de HD en HC . Ejercicio 5. Demuestre que existen exactamente cuatro transformaciones naturales de Q2 en P ot y exhbalas todas. (Sugerencia : Aplique el resultado del ejercicio 2 y el lema de Yoneda.) El lema de Yoneda nos pone en condiciones para dar la demostracin que tenemos pendiente. Proposicin. Sea < cualquier categora desde la cual haya un funtor F : < Set Entonces son equivalentes: a) F tiene un punto universal. b) F es naturalmente isomorfo a un hom-funtor. Demostracin. (a) (b) Sea D < tal que d F D es punto universal de F . Aseguramos que la transformacin d : HD F es un isomorsmo natural. Para probarlo basta demostrar que para todo <-objeto A la funcin d A : < (D, A) F A es biyectiva. d A es inyectiva. En efecto, sean f1 , f2 < (D, A) dos morsmos con la misma imagen a F A bajo d A . Debido a la universalidad del punto d tenemos que en < (D, A) existe un nico morsmo f tal que F f (d) = a Luego, puesto que d A (f1 ) = F f1 (d) a= d A (f2 ) = F f2 (d)

26 tenemos f1 = f = f2 d A es suprayectiva pues, por la denicin de punto universal, para todo a F A existe un morsmo (nico) f < (D, A) tal que F f (d) = a. (b) (a) Supongamos que : HD F es un isomorsmo natural. Por el lema de Yoneda sabemos que d FD

es el conjunto de transformaciones naturales de HD en F . En consecuencia, existe d F D tal que = d . Probaremos que d es un punto universal para F . Sean, A cualquier <-objeto y a cualquier elemento en F A; debido a la isomorfa de d , la funcin d A : < (D, A) F A

es biyectiva; por lo tanto, existe un nico f < (D, A) tal que d A (f ) = F f (d) = a y esto es a lo que se quera llegar.[ ] Ejercicio 6. Pinsense dos copos X = (X, ) y tmense dos funciones montonas f1 , f2 : X Y cualesquiera. Demustrense: a) De f1 a f2 , cuanto ms, existe una transformacin natural. b) De f1 a f2 existe una transformacin natural si, y slo si, para todo x X f1 (x) f2 (x) Descrbase la categora YX . y Y = (Y, )