Seminario de Categorías (mayo 2017)
Lógica Categórica de Primer Orden 10 (Francisco Marmolejo)
Plática dada por Francisco Marmolejo (Instituto de Matemáticas de la UNAM) en el Seminario de Categorías el martes 23 de mayo del 2017 en el Instituto de Matemáticas de la UNAM
Resumen:
Continuaremos con el capítulo 3 de "First order categorical logic": Estabilidad y distributividad, el lema de sustitución y el teorama de correctud.