Professional Documents
Culture Documents
IA DE CATEGOR
IAS
J. CLIMENT VIDAL
Resumen. We ...
Indice
1. Introduction
2. Categoras
3. Functores
4. Transformaciones naturales
5. Construcciones sobre las categoras
6. Especies de estructura con morsmos sobre una categora
7. Morsmos universales
8. Lmites y colmites
9. Functores adjuntos
10. Monadas
11. Extensiones de Kan
Referencias
1.
1
3
5
9
9
10
12
12
12
12
12
12
Introduction
JUAN CLIMENT
Demostraci
on. 1. Si x U , entonces Sub(x) U , luego Sub(x) U . Por lo tanto
card(x) < card(Sub(x)) card(U ). De donde card(x) < card(U ).
2. Puesto que N U , entonces, en virtud de 1, 0 < card(U ).
3. Si x y e y U , entonces x Sub(y) U , luego x U .
4. Si x, y U , entonces {x, y} U . Ahora bien, puesto que 0 < card(U ), el
conjunto {x, y} no es isomorfo a U , luego {x, y} U . Por otra parte, puesto que
(x, y) = { {x}, {x, y} }, se cumple que (x, y) U , ya que {x} U y {x, y} U .
Por u
ltimo, si x, y U , entonces, para cada a x y cada b y, a, b U , luego
(a, b) U . por lo tanto x y U . Ahora bien, puesto que 0 < card(U ), card(x) <
card(U ) y card(y) < card(U ), card(x y) < card(U ). Por lo tanto x y U .
5. Si F es una funcion tal que Dom(F ) U e Im(F ) U , entonces Im(F ) U
y card(Im(F )) card(x) < card(U ), luego Im(F ) U . Por u
ltimo, ya que F
Dom(F ) Im(F ) U, tambien tenemos que F U .
6. Si x U e y x, entonces
y z x, para un z x, luego
y z U , por
lo tanto y U . De modo que x U . Adem
a
s,
card(
x)
zx z < card(U ),
Proposici
on 1.5. Sea U un universo de Grothendieck. Si x U , entonces todo
conjunto cociente de x pertenece a U .
Demostraci
on.
Proposici
on 1.6. Sea U un universo de Grothendieck. Si I U y (
Xi | i I ) es
una familia de conjuntos tal que, para cada i I, Xi U , entonces i Xi U .
Demostraci
on.
Proposici
on 1.7. Sea U un universo de Grothendieck. Si X, Y U , entonces toda
relaci
on, funci
on, aplicaci
on no determinista y aplicaci
on de X en Y , pertenece a
U.
Demostraci
on.
Proposici
on 1.8. Sea U un universo de Grothendieck. Si X, Y U , entonces todo
conjunto de relaciones, funciones, aplicaciones no deterministas y aplicaciones de
X en Y , pertenece a U .
Demostraci
on.
Proposici
on 1.9. Si X U es tal que su cardinal es a lo sumo el de un elemento
de U , entonces X U .
Demostraci
on. Sea I U tal que card(X) card(I). Entonces hay unasobreyeccion (xj | j J) desde un subconjunto J de I hasta X. Por lo tanto X = jJ {xj },
as que X U .
Ejercicio. Sea U un universo de Grothendieck. Demuestrese que toda parte nita
de U es elemento de U .
Proposici
on 1.10. Si ( U | ) es una familia no vaca de universos de
Grothendieck, entonces U es un universo de Grothendieck.
Demostraci
on.
Axioma del universo. Existe un universo de Grothendieck.
Axioma de Grothendieck-Tarski-Sonner. Para cada conjunto x existe un universo de Grothendieck U tal que x U .
Proposici
on 1.11. Sea ( Xi | i I ) una familia de conjuntos. Entonces hay un
universo de Grothendieck U tal que, para cada i I, Xi U .
Demostraci
on.
Es suciente considerar iI Xi , porque entonces iI Xi U y
ya que Xi iI Xi , Xi U , para cada i I.
Definici
on 1.12. Sean X e Y dos conjuntos y n 0. Decimos de Y que es una
componente de orden n de X si hay una sucesion nita ( Xj | j n + 1 ) tal que
X0 = X, Xn = Y , y, para cada j n, Xj+1 Xj . Convenimos que X es la u
nica
componente de orden 0 de X. Ademas, un conjunto Y es una componente de X si
hay un n 0 tal que Y que es una componente de orden n de X.
Ejercicio. Demuestrese que todo conjunto es una componente de s mismo y que
si Y es una componente de X y Z lo es de Y , entonces Z lo es de X.
Ejercicio. Demuestrese que las componentes de cualquier conjunto constituyen un
conjunto.
Definici
on 1.13. Sea m un cardinal. Decimos de un conjunto X que es de tipo
m (resp., de tipo estricto m, de tipo finito) si todas las componentes de X tienen
cardinales menores o iguales que m (resp., estrictamente menores que m, nitos)
Proposici
on 1.14. Si X es un conjunto de tipo m (resp., de tipo estricto m, de
tipo finito), entonces toda componente de X y toda parte de X son de tipo m (resp.,
de tipo estricto m, de tipo finito); del mismo modo Sub(X) es de tipo 2m (resp., de
tipo estricto 2m , de tipo finito). Adem
as, si X es de tipo m y m n, entonces X es
de tipo n.
Demostraci
on.
2.
Categoras
Definici
on 2.1. Una categora C consta de los siguientes datos:
1. Un conjunto Ob(C) de objetos, A, B, . . . .
2. Un conjunto Mor(C) de morfismos f , g, . . . .
/ Ob(C) que a cada morsmo f Mor(C) le
3. Una aplicacion d0 : Mor(C)
asigna el objeto d0 (f ), al que denominamos el dominio de f .
/ Ob(C) que a cada morsmo f Mor(C) le
4. Una aplicacion d1 : Mor(C)
asigna el objeto d1 (f ), al que denominamos el codominio de f .
/ Mor(C) que a cada objeto A Ob(C) le
5. Una aplicacion id : Ob(C)
asigna el morsmo idA , al que denominamos el morsmo identidad de x.
JUAN CLIMENT
f
/B
AD
DD
DD
DD
D
idB
f DDDD
"
B
conmutan.
En algunas ocasiones, para abreviar, denotaremos el conjunto de los objetos
de una categora C, simplemente por C, y si A, B C, i.e., si A, B Ob(C),
entonces denotaremos por Hom(A, B) o por C(A, B) el conjunto HomC (A, B) de
los morsmos de A en B.
En lo que sigue, salvo indicacion expresa de lo contrario, suponemos elegido un
universo de Grothendieck U .
algebras Booleanas A tales que A U , junto con los homoCorolario 2.2. Las
morfismos entre ellas constituyen una categora, a la que denotamos por Bool.
Definici
on 2.3. Sea C una categora y f : A
que
/ B un morsmo de C. Decimos
/
/A
/B
;
f h
conmuta, entonces g = h, i.e., si cuando f g = f h, entonces g = h; es
por ello que a este tipo de morsmos tambien se los denomina simplificables
a la izquierda. Denotamos al conjunto de los monomorsmos de A en B por
/ B signica que el morsmo
Mono(A, B). Convenimos entonces que f : A _
_
/
B es un monomorsmo.
f: A
/ B es un epimorfismo si, para cada objeto Y de C y
2. El morsmo f : A
/ Y , si el diagrama
cualesquiera morsmos g, h : B
gf
A
/B
g
h
#/
/; Y
hf
conmuta, entonces g = h, i.e., si cuando g f = h f , entonces g = h; es por
ello que a este tipo de morsmos tambien se los denomina simplificables a
la derecha. Convenimos entonces que f : A _ / B signica que el morsmo
/ B es un epimorsmo, y denotamos al conjunto de los epimorsmos
f: A
de A en B por Epi(A, B).
/ B es un isomorfismo si existe un g : B
/ A tal que
3. El morsmo f : A
g f = idA y f g = idB . A los isomorsmos de un objeto en s mismo los
denominamos automorfismos.
Sean A y B dos algebras Booleanas. Demuestrese que si un homomorsmo
/ B es inyectivo, resp., sobreyectivo, entonces es un monomorsmo, resp.,
f: A
epimorsmo.
/B
Sean A y B dos algebras Booleanas. Demuestrese que un homomorsmo f : A
es un isomorsmo precisamente si es un homomorsmo biyectivo.
Proposici
on 2.4. Sea A un
algebra Booleana. Entonces es un isomorfismo de
A en Aop y = idA .
3.
Functores
Definici
on 3.1. Dadas dos categoras C, D, un functor de C en D es un triplo
/ D, en el que F0 es una aplicacion
F = (C, (F0 , F1 ), D), denotado por F : C
de Ob(C) en Ob(D), F1 una aplicacion de Mor(C) to Mor(D), y que cumple las
siguientes condiciones:
JUAN CLIMENT
1. Los diagramas:
F1
Mor(C)
/ Mor(D)
d0
d0
Ob(C)
F0
F1
Mor(C)
/ Mor(D)
d1
/ Ob(D)
d1
Ob(C)
/ Ob(D)
F0
conmutan.
2. El diagrama:
F0
Ob(C)
id
Mor(C)
F1
/ Ob(D)
id
/ Mor(D)
conmuta.
3. El diagrama:
Mor(C)
Ob(C) Mor(C)
F12
/ Mor(D)
Ob(D)
Mor(D)
Mor(C)
/ Mor(D)
F1
conmuta.
/ D, convenimos en denotar
De ahora en adelante, para un functor F : C
mediante el mismo smbolo F a las dos aplicaciones F0 y F1 .
Proposici
on 3.2. Sean F : A
Entonces:
/ B, G : B
/C y H: C
/ D tres functores.
/ A, el
1. Siendo IdA = (A, (idOb(A) , idMor(A) ), A), se cumple que IdA : A
functor identidad de A, es un endofunctor de A.
/ C,
2. Siendo G F = (A, (G0 F0 , G1 F1 ), C), se cumple que G F : A
el functor composicion de F y G, es un functor de A en C.
3. (Asociatividad). El diagrama:
(H G) F
F
/BM
A MM
MMM
MMM
MMM
MMM
MH
MMM G
MMM
G
MMM
M
M
GF
MMM
MMM
M&
&/
C
;D
H
H (G F )
conmuta.
F
/B
AE
EE
EE
EE
E
IdB
F EEEE
"
B
conmutan.
/ D es un isomorfismo de C en
Definici
on 3.3. Decimos que un functor F : C
/
D si existe un functor G : D
C tal que G F = IdC y F G = IdD .
/D
/D
~
~
~~
~~
~
~~ H
~~ ~
conmuta.
/ (D, H) sobre K es un isomorfisDecimos que el functor concreto F : (C, G)
mo de categoras concretas de (C, G) en (D, H) si F es un isomorsmo.
Proposici
on 3.6 (Stone). Las categoras concretas (Bool, GBool ) y (BRng, GBRng )
/ BRng
sobre Set son concretamente isomorfas, i.e., hay un isomorfismo F : Bool
tal que el diagrama:
F
/ BRng
BoolE
EE
xx
EE
xx
EE
x
x
E
xx
GBool EEEE
xx GBRng
x
{x
"
Set
conmuta.
Demostraci
on.
JUAN CLIMENT
Denimos a continuaci
on el concepto de functor contravariante de una categora
en otra, que, en denitiva, es reducible al concepto de functor, haciendo uso de la
dual de una categora.
Definici
on 3.7. Dadas dos categoras C, D, un functor contravariante de C en D
/ D, en el que F0 es una
es un triplo F = (C, (F0 , F1 ), D), denotado por F : C
aplicacion de Ob(C) en Ob(D), F1 una aplicacion de Mor(C) to Mor(D), y que
cumple las siguientes condiciones:
1. Los diagramas:
F1
Mor(C)
d1
Ob(C)
F0
/ Mor(D)
F1
Mor(C)
/ Mor(D)
d0
d0
/ Ob(D)
Ob(C)
d1
/ Ob(D)
F0
conmutan.
2. El diagrama:
Ob(C)
F0
id
/ Ob(D)
id
/ Mor(D)
Mor(C)
F1
conmuta.
Ob(C) Mor(C)
F12 tw
Mor(C)
/ Mor(D)
Ob(D)
Mor(D)
F1
/ Mor(D)
conmuta.
Lo mismo que para los functores, de ahora en adelante, para un functor contra/ D, denotaremos mediante el mismo smbolo F a las dos aplicavariante F : C
ciones F0 y F1 .
Demuestrese que dar un functor contravariante de C en D equivale a dar un
functor de Cop en D o un functor de C en Dop .
Ejemplo. De la categora Set en la categora CABA, de las algebras Booleanas
completas atomicas y homomorsmos completos, tenemos el functor contravariante
/ CABA que a un conjunto A le asigna el algebra Booleana completa
P : Set
/ B le asigna el homomorsmo completo
atomica Sub(A) y a una aplicacion f : A
/ Sub(A).
f 1 : Sub(B)
Definici
on 3.8. Una dualidad o antiequivalencia de una categora C en otra categora D es un functor contravariante F de C en D que es el pleno y esencialmente
sobreyectivo.
4.
Transformaciones naturales
F (A)
/ G(A)
F (f )
G(f )
F (B)
/ G(B)
5.
(
= , ( a
b
a b
)
)
)
a b
a b
(
)
en el que es una relacion de equivalencia sobre Ob(C) y, para cada matriz aa bb
, en donde convenimos que (a, a ) y que (b, b ) , ( a b ) es un
subconjunto de HomC (a, b) HomC (a , b ) tal que
a b
1. HomC (a,b) ( a b ) .
ab
)
b .
b
a
b
a b
( a b ) ( a b ) ( a b ) .
a b
a b
a b
( b c ) ( a b ) ( a c ) .
a c
b c
a b
(
2. 1
a
3.
4.
= ( a
10
JUAN CLIMENT
/b
/c
gf
/c
/o o/ o/ /o /o /
a
f
f
O
O
/ b
/ c
g f
/ c
/ b
O
O
f
/b
/ b
y,y [b]
x y
A continuaci
on denimos, para una categora K, la nocion de especie de estructura con morsmos sobre K.
Let K be an arbitrary, but xed, category. A species of structure with morphisms
relative to K is a pair S = (StrS , HomS ), where StrS is a function such that
Dom(StrS ) = Ob(K),
of K, and HomS is a function such that
the set of all objects
Dom(HomS ) = ( Y Ob(K) StrS (Y ))2 = ( Y Ob(K) ({Y } StrS (Y ))2 , subject to
satisfy the following conditions:
1. For every ((Y, ), (Y , )) Dom(HomS ), it happens that
HomS ((Y, ), (Y , )) {(Y, )} Hom(Y, Y ) {(Y , )}.
2. For every Y, Y , Y Ob(K), every StrS (Y ), every StrS (Y ), and
every StrS (Y ), if f = ((Y, ), f, (Y , )) HomS ((Y, ), (Y , )) and
f = ((Y , ), f , (Y , )) HomS ((Y , ), (Y , )), then it also happens
that f f = ((Y, ), f f, (Y , )) HomS ((Y, ), (Y , )).
/ Y , and every
3. For every Y, Y Ob(K), every isomorphism f : Y
11
where Y Ob(K) and is an S-structure on Y , S-structured objects, and, nally, for a pair (Y, ), (Y , ) of S-structured objects, we call the elements of
HomS ((Y, ), (Y , )), i.e., the triples ((Y, ), , (Y , )), which, to abbreviate, we
/ (Y , ), S-admissible morphisms from (Y, ) to
agree to write as : (Y, )
(Y , ).
We denote by K(S) the corresponding category and by GS the forgetful functor
from K(S) to K.
Let (K, GK ) be a transportable concrete category over a (base) category L, thus
GK is a transportable, faithful, and amnestic functor from K to L. The functor
GK is called amnestic if every isomorphism in a bre of GK , i.e., such that
GK () = idL , for some object L of L, is an identity morphism in K. The functor
GK is called transportable if every isomorphism from GK (Y ) to L , for an object
Y of K and an object L of L, lifts to a unique isomorphism from Y to Y of K,
with GK (Y ) = L (and GK () = ).
Lema 6.1. Sea A un S-conjunto, (Ai , Ci )iI una familia de S-espacios de clau.
sura y f = (f i )iI una familia de S-aplicaciones, en la que, para cada i I,
/ Ai . Entonces hay un u
fi : A
nico sistema de clausura heterogeneo C sobre A,
.
f
i
al que denotamos por L (A , Ci )iI , y denominamos el levantamiento optimal de
.
(Ai , Ci )iI a traves de f , tal que:
/ (Ai , Ci ).
1. Para cada i I, f i : (A, Lf (Ai , Ci )iI )
/ A, si, para cada i I,
2. Dado un S-espacio de clausura (B, B) y g : B
.
i
i
/
/
f g : (B, B)
(A , Ci ), entonces g : (B, B)
(A, Lf (Ai , Ci )iI ).
Adem
as, se cumple que:
1. Para cada sistema de clausura heterogeneo C sobre A:
LidA (A, C) = C.
2. Si, para cada i I, (Ai,m , Ci,m )mMi es una familia de S-espacios de clau.
sura, g i, = (g i,m )mMi una familia de S-aplicaciones, en la que, para cada
.
/ Ai,m y Ci = Lgi, (Ai,m , Ci,m )mMi , entonces
m Mi , g i,m : Ai
L(g
i,.
f )iI
f
i
Demostraci
on. Es suciente que tomemos
como i L1 (A , Ci )iI el sistema de clausura heterogeneo sobre A generado por iI { (f ) [C] | C Ci }.
12
JUAN CLIMENT
Morfismos universales
8.
9.
Lmites y colmites
Functores adjuntos
10.
11.
nadas
Mo
Extensiones de Kan
Referencias
[1] A. Tarski and R.L. Vaught, Arithmetical extensions of relational systems, Compositio Math.,
13 (1957) pp. 81102.
13