Documentos
En esta sección estarán los vídeos de clases y alguna nota o aclaración de los temas vistos en clases.
Temas
En un intento de organizar este material se irá subiendo por temas
Repaso de categorías
Independientes del orden
A partir de este punto seguiremos a Mac Lane y Moerdijk en Sheaves in Geometry and Logic. Así, que tomamos el índice del capítulo para organizar el material de esta sección.
Primeras propiedades de topos elementales
- Definición de topos
- Construcciones de exponenciales
- Imagen directa
- Construcción de colímites
- Factorización e imagen
- La categoría rebanada como un topos
- Objetos retícula y álgebra de Heyting en un topos
- La condición de Beck-Chevalley
- Objetos inyectivos