Teoría de categorías enriquecidas básica 3
Ponente: Francisco Marmolejo
Institución: IM-UNAM
Institución: IM-UNAM
Cuándo |
20/10/2020 de 17:00 a 18:30 |
---|---|
Dónde | Salón de Seminarios 4 del IMUNAM |
Agregar evento al calendario |
![]() ![]() |
Continuaremos con la definición de V-CAT, desviándonos un poco para ver la demostración de Kelly de que dos condiciones de coherencia bastan.