Teora de las categoras: estudio de las lgebras de funciones (abstractas).

Estudio de los diferentes

tipos de estructuras matemticas en trminos de sus transformaciones admisibles. Teora abstracta de
las funciones.
Una categora es slo un lgebra que se compone de los objetos A, B, C. y de flechas [], que estn
cerradas bajo composicin y satisfacen ciertas condiciones tpicas de la composicin de funciones.
*transformaciones naturales
Las transformaciones naturales sirven para definir adjoints: Categoras , funtores, transformaciones
naturales , adicin.
1.2 Funciones de conjuntos.
Las funciones se pueden: componer y asociar, adems de que para cada una existe una funcin
identidad que funciona como una unidad para la operacin de composicin. Composicin e
identidades es pues todo lo que nos interesa.
1.3 Definicin de categora.
Definicin 1.1 . Una categora consiste en la informacin siguiente:
*Objetos A, B, C ,
*flechas f,g,h
*Para cada flecha f, estn dados los objetos dom(f), cod(f). f: A B
*Dadas las flechas f: A B y g: B C, tales que cod(f) = dom(g), est dada una flecha gf: A C
llamada composicin.
*Por cada objeto A, est dada una flecha 1A= A A , llamada identidad de A .
Esa informacin requiere satisfacer las siguientes leyes:
*Asociatividad: h(gf)=(hg)f
para toda f:AB , g: B C, h: C D.
*Unidad: f1A=f = 1Bf
para todo f: A B
Que dos funciones sean iguales significa que : para cada argumento ellas tienen el mismo valor.
1.4 Ejemplos de categoras:
1) Categora Sets (conjuntos y funciones entre ellas).

2) Categora Setsfin (todos los conjuntos finitos y las funciones entre ellos).
Hay muchas categoras como esta. Tome cualquier conjunto finito de objetos y sus funciones inyectivas
como flechas. (por ejemplo 1 a 1) . Dado que las funciones inyectivas se pueden componer y dado
que la identidad de las funciones es inyectiva, esto resulta una categora.
3) Estructured sets ( conjuntos con un tipo de estructura y funciones que la preservan).
4) Pos (conjuntos parcialmente ordenados y funciones montonas).
.
Definicin 1.2. Un funtor
F: C D
entre categoras C y D es una aplicacin (mapping) de objeto a objeto y flechas a flecha, tal que:
a) F(f: A B ) = F (f): F(a) F (B),
b) F (1A)= 1F(A) ,
c) F (gf)= F(g)F(f).
Esto es, F preserva dominios y codominios, flechas de identidad, y composicin. Un funtor F: CD da
entonces una especie de imagen- tal vez distorsionada- de C en D.
As tenemos la categora Cat , la categora de todas las categoras y funtores.
13) Un monoide (a veces llamado un semigrupo con unidad) es un conjunto M equipado con una
relacin binaria . : M x M M y un nico elemento distinguido u e M tal que para todo x,y,z e M.
Un monoide es una categora con slo un objeto. Las flechas de la categora son los elementos del
monoide. En particular, las flechas de identidad es el elemento unitario u. La composcin de flechas es

la operacin binaria m . n del monoide.

1.5
Definicin 1.3. Para cualquier categora C, una flecha f: AB es llamada isomorfismo, si hay una
flecha g: B A en C tal que:
gf=1A y fg=1b
Ya que los inversos son nicos, escribimos g=f-1. Nosotros decimos que A es isomporfico a B, se
escribe A = B, si existe un isomporfismo entre ellos. ddddddddddddddddddddddddddd