Lógica Categórica de Primer Orden 4. Plática dada por Francisco Marmolejo (Instituto de Matemáticas de la UNAM) en el Seminario de Categorías el martes 7 de marzo del 2017 en el Instituto de Matemáticas de la UNAM. 

 

 

Resumen:
Después de demostrar un par de resultados sobre gavillanización que quedaron pendientes, pasaremos a la parte de morfismos geométricos entre topos.