PRÓXIMA SESIÓN

(En español)

Instituto de Matemáticas UNAM

Fecha: 24 de Junio de 2022
Hora: 13 h (Horario de Ciudad de México)

Lugar: Zoom y Youtube

Para asistir inscribirse aquí.

Un vistazo a la teoría de infinito-categorías

La teoría de categorías es un lenguaje versátil para organizar mucha de la matemática: en muchas ramas de la matemática los objetos de estudios tienen funciones especiales que los relacionan y estos objetos y funciones forman una categoría, muchos procedimientos para comparar distintos tipos de objetos se puede expresar como funtores, y lo que quizá es lo más importante, muchas construcciones importantes de varias ramas son casos particulares de construcciones categóricas generales.

Pero la teoría de categorías está orientada al estudio de objetos salvo isomorfismo y deja algo que desear en los casos en los que solo nos interesan los objetos salvo una relación más débil que el isomorfismo. Por ejemplo, las categorías mismas usualmente solo nos importan salvo equivalencia; en la topología algebraica usualmente los espacios nos interesan solo salvo equivalencia homotópica; en el álgebra homológica los complejos de cadenas nos interesan solo salvo cuasi-isomorfismo. En contextos como éstos, se puede usar una generalización de la teoría de categorías, a saber, la teoría de infinito-categorías, para obtener los mismos tipos de beneficios que proporciona el lenguaje categórico cuando estudiamos objetos salvo isomorfismo.

Sobre Omar

Omar Antolín Camarena es investigador del Instituto de Matemáticas de la UNAM en la Ciudad de México. Omar completó su doctorado en la Universidad de Harvard en el 2015 bajo la dirección de Jacob Lurie. Luego realizó su postdoctoado en la UBC en Vancouver, Canadá. Su trabajo de investigación se enfoca en teoría de homotopía, teoría de categorías superiores, geometría algebraica derivada y combinatoria, campos en los que ha escrito diversos artículos de investigación y expositivos.

Uno de los pasatiempos de Omar es la programación y actualmente su lenguaje favorito es J. J es extremadamente conciso, por ejemplo, esto es un programa completo (!) que dibuja el conjunto de Mandelbrot: '# '{~2<|(+*:)^:(2>|@])^:30~"0]_2j_1.25+80%~j./~i.201.

14:00 GMT-4 (Recomendamos entrar a las 13:45 GMT-4).

Horario equivalente por ciudades: San José 12:00, San Salvador 12:00, Tegucigalpa 12:00, Ciudad de Guatemala 12:00, Ciudad de México 13:00, Managua 12:00, Quito 13:00, Bogotá 13:00, Panamá 13:00, Lima 13:00, Santiago 14:00, La Paz 14:00, Asunción 14:00, Santo Domingo 14:00, Nueva York 14:00, La Habana 14:00, Caracas 14:00, San Juan 14:00, Rio de Janeiro 15:00, Buenos Aires 15:00, Montevideo 15:00, Madrid 20:00.