Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2023-1

Optativas de los Niveles VII y VIII, Seminario de Álgebra A

Grupo 4275, 23 lugares. 6 alumnos.
Introducción a la Teoría de Categorías
Profesor Alma Violeta García López lu mi vi 17 a 18 P107
Ayudante Isvi René Aguilar Sánchez ma ju 17 a 18 P107

 
Introducción a la Teoría de Categorías.

Pre-requisitos: Los alumnos interesados en llevar este curso deben tener conocimientos básicos de teoría de conjuntos y álgebra lineal 1, como mínimo. Es deseable que hayan cursado álgebra moderna 1.

Temario:

1. Introducción.

2. La categoría de conjuntos.

  • Conjuntos, funciones y diagramas conmutativos.
  • Productos y coproductos.
  • Límites y colímites finitos en conjuntos.
  • Otras construcciones

3. Categorías, funtores y transformaciones naturales.

  • Categorías y funtores. Categorías pequeñas y localmente pequeñas.
  • Muchos ejemplos. Monoides, ordenes, espacios, grupoides, etc.
  • Transformaciones naturales y ejemplos.

4. Funtores especiales.

  • Definicion de funtores adjuntos.
  • Funtores representables y ejemplos.
  • Lema de Yoneda y sus consecuencias.

5. Límites y colímites.

  • Productos, igualadores, productos fibrados, monos. Definición de límite.
  • Coproductos, coigualadores, coproductos fibrados, epis. Definición de colímite.
  • Interaccón entre funtores y límites.

6. Funtores adjuntos.

  • Funtores adjuntos, unidad, counidad y ejemplos.
  • Límites en términos de representables y adjuntos.
  • Límites y colímites de pregavillas.
  • Teorema del Funtor Adjunto.

7. Introducción a topos de Grothendieck.

  • Gavillas en espacios topológicos y locales.
  • Topos de Grothendieck.

Evaluación:

Una evaluación por cada uno de los temas que puede consistir de ejercicios escritos y/o exposiciones individuales dependiendo del tema.

Referencias:
  • [1] T. Leinster, Basic Category Theory, Cambridge University Press, Cambridge, UK, 2014.
  • [2] D. Spivak, Category Theory for the Sciences, The MIT Press, Massachusetts, 2014.
  • [3] W. Lawvere and R. Rosebrugh, Sets for Mathematics, Cambridge University Press, 2013.
  • [4] W. Lawvere and S. H Schanuel, Matemáticas conceptuales, Cambridge University Press, 2009.
  • [5] F. Borceux, Handbook of Categorical Algebra: Volume 1, Basic Category Theory, Encyclopedia of Mathematics and its Applications, Cambridge University Press, 1994.
  • [6] , Handbook of Categorical Algebra: Volume 3, Categories of sheaves, Encyclopedia of Mathematics and its Applications, CambridgeUniversity Press, 1994.
  • [7] E. Rihel. Category Theory in Context. Dover, US, 2014.

Contacto y mecánica del curso:
  • Las sesiones serán en su mayoría presenciales, también haremos algunos videos dependiendo de la necesidad del tema..
  • Tendremos un Classroom para dudas y contacto, así como para compartir archivos y material de clase, al que solo podrán unirse con su correo de ciencias. (https://classroom.google.com/c/NTM4MDE1MTYxNzI1?cjc=nvw7fzc)

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.