NOMBRE: TEORA DE CATEGORAS

HRS./SEM.: 4
CLAVE: M28

Objetivo: Que el alumno adquiera un buen nivel de profundidad en los conocimientos bsicos
dentro del rea de Teora de Categoras.

1. Nociones bsicas. Categoras, subcategoras, subcategoras plenas; categoras de conjuntos, de

grupos, de espacios topolgicos, etc.; congruencias en categoras y categoras cociente;
categoras producto y coproducto; categora dual; secciones y retracciones; epimorfismos y
monomorfismos; subobjetos y objetos cociente; objetos iniciales y finales, objetos cero;
igualadores y coigualadores, ncleos y concleos.

2. Funtores. Funtores covariantes y contravariantes, bifuntores, el bifuntos hom; propiedades de los

funtores; preservar secciones, retracciones, epis, monos, diagramas conmutativos; funtores
especiales: plenos, fieles, inmersos, isomorfismos; propiedades reflejadas por funtores
especiales; objetos proyectivos e inyectivos.

3. Transformaciones naturales. Transformacin natural, isomorfismo natural, equivalencia de

categoras, esqueleto de una categora, caracterizaciones de equivalencias entre categoras de
funtores.

4. Lmites y colmites. Fuentes y sumideros, fuente natural para un funtor, lmite de un funtor;
producto de una familia de objetos, asociatividad del producto, igualadores como lmites,
intersecciones, unicidad de los lmites, pullbacks y pushouts; construccin cannica de pullbacks
en una categora con productos finitos e igualadores; lmites inversos y lmites directos;
categoras completas y teoremas de caracterizacin de categoras completas; funtores que
preservan lmites.

5. Funtores adjuntos. Situaciones de adjuncin, caracterizaciones a travs de objetos universales; si

F es adjunto izquierdo de G entonces F preserva colmites y G preserva lmites; primer y
segundo teoremas del funtor adjunto, teorema especial del funtor adjunto.

Requisitos:
- Teora de Mdulos
- Teora de Conjuntos
- Topologa I.

Bibliografa.

[1]. Herlich Horst y Strecker George E., Category Theory. An Introduction, Boston, Allyn and Bacon,
1973.
[2]. Jacobson N., Basic Algebra II, W.H. Freeman and Company, New York, 1980.
[3]. McLane Saunders, Categories for the Working Mathematician, New York, GTM 5, Springer Verlag,
1971.
[4]. Mitchell Barry, Theory of Categories, New York, Academic Press, 1965.

Tcnicas de enseanza sugeridas

Exposicin oral ( X )
Exposicin audiovisual ( )
Ejercicios dentro de clase ( X )
Seminarios ( )
Lecturas obligatorias ( X )
Trabajos de investigacin ( )
Prcticas en taller o laboratorio ( )
Prcticas de campo ( )
Otras: Empleo de programas de cmputo ( )
Elementos de evaluacin sugeridos
Exmenes parciales ( X )
Exmenes finales ( X )
Trabajos y tareas fuera del aula ( X )
Participacin en clase ( )
Asistencia a prcticas ( )
Otras: ( X ) Reporte de lectura.