Luis Ángel Zaldívar Corichi
Universidad de Guadalajara, México
Resumen: Un marco (álgebra de Heyting completa, localizada) consta de una red completa
(A,≤, V, ∧,0,1)
en el que se cumple la siguiente ley distributiva:
α∧(VX) = V{α ∧ x | x ∈ X },
para cada X ⊆ A y cada α ∈ A. Los marcos son, de manera específica, manifestaciones algebraicas de espacios topológicos. El ejemplo omnipresente de marco es el marco de conjuntos abiertos de cualquier espacio topológico.
En esta charla, veremos que en muchos fenómenos algebraicos hay un marco que controla cierto proceso (por ejemplo, las localizaciones de cualquier categoría de Grothendieck constituyen un marco), más aún, los aspectos sin puntos de estos marcos sirvieron como dispositivos de clasificación para muchas situaciones algebraicas y topológicas.
Semblanza: Obtuvo su doctorado en la UNAM bajo la dirección del profesor José Ríos Montes.Ex becario FulBright García Robles 2017-2018. Desde 2019 es profesor de tiempo completo en el Departamento de Matemáticas de la Universidad de Guadalajara. Sus áreas de investigación abarcan entre categorías abelianas, categorías modulares, categorías tensoriales trianguladas y topología libre de puntos y su interacción entre ellas.