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.