Cuarta sesión de la sexta temporada (Seminario Seco)

• Fecha: 18 de noviembre de 2020.
• Hora: 18:00.
• Enlace de inscripción: https://us02web.zoom.us/meeting/register/tZ0qd-6pqzIqHtV1XrLzpYzAwC_U7LrOMD0o

Tenemos la siguiente plática para la cuarta sesión del Seminario Seco. Se llamará así lo que regularmente es el Seminario de la Pizza pues no puede haber convite, y se supone que entre los trópicos sólo hay dos estaciones: la seca y la lluviosa. En Huajuapan, se traslapa más este semestre con los meses secos.

1. • Ponente: Enrique Ruiz Hernández.
   • Título: Brevísima introducción a teoría de tipos y teorías locales de conjuntos.
   • Resumen: Daremos definiciones básicas dentro del contexto de teoría de tipos encaminada hacia lógica categórica. También mencionaremos, sin demostración, teoremas básicos en ese mismo contexto.

Si eres alumno de matemática, física o ingeniería y quieres participar para la siguiente temporada con una mini-charla (de entre 10 y 20 minutos), manda tu título y resumen a octavioalberto@mixteco.utm.mx. ¡Te esperamos!