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.
Tenemos 143 visitantes y ningun miembro en Línea