Un modelo clásico de cohesión axiomática
Ponente: Andrés Flores
Institución: IMUNAM
Tipo de Evento: Divulgación
Institución: IMUNAM
Tipo de Evento: Divulgación
| Cuándo |
07/05/2026 de 13:30 a 15:00 |
|---|---|
| Dónde | Salón de seminarios "Graciela Salicrup" |
| Agregar evento al calendario |
|
En esta charla revisaremos el trabajo de F. W. Lawvere sobre cohesión axiomática, hablaremos de las construcciones fundamentales de la teoría como lo es la categoría de Hurewicz (la cual captura la noción de homotopía en este contexto). Presentaremos modelos elementales para entender la cohesión axiomática, los cuales servirán como caballito de batalla para aquellas personas que deseen continuar pensando en estos temas. No es necesario saber topos, más bien esta charla pretende ser una invitación a su estudio posterior.

