Locales y topos como espacios Violeta García
Plática dada por Violeta García (Instituto de Matemáticas y Facultad de Ciencias de la UNAM) en el Coloquio de Categorías, Álgebra y temas afines el jueves 19 de enero del 2017 en el Instituto de Matemáticas de la UNAM
Resumen:
Uno de los aspectos centrales de la teoría de topos es que unifica la topología y la lógica. De hecho, podemos considerar un topos tanto como un espacio generalizado como un universo de conjuntos. Esta conexión actúa como un álgebra de Lindenbaum para una teoría lógica cuyos modelos son los puntos de un espacio. Como ejemplo de ello, abordaremos el Teorema de Representación de Stone para álgebras Booleanas que relaciona la lógica proposicional con espacios Hausdorff totalmente disconexos y hablaremos de álgebras de Lindenbaum para distintas teorías lógicas.
Video de la plática
https://youtu.be/jcdiIi6kkm4
Foto de miniatura del video
https://goo.gl/photos/cKbbdPPM5dZAYrBr9
Cartel del Coloquio de Categorías, Álgebra y temas afines
https://goo.gl/photos/DTvMUMxnqq7kq7QE7
Página del Coloquio de Categorías, Álgebra y temas afines
http://cinvcat.org.mx/coloquio.html
Programa del Coloquio de Categorías, Álgebra y temas afines
http://cinvcat.org.mx/pdfs/programa-carta.pdf
Otras pláticas del Coloquio de Categorías, Álgebra y temas afines
https://www.youtube.com/playlist?list=PLrg-5oUhFeiqhaSj_AXr9vX1w7i–vWxY
Página de Violeta García en la Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/directorio/58911
Pláticas de matemáticas en Ciencias TV
https://www.youtube.com/playlist?list=PLiD-IJzweXR8iyKKoKUGpAzF8rLWIu4A4
Página de facebook del Ciencias TV
https://www.facebook.com/Ciencias-TV-170487220017476
Videos Académicos publicados por Ciencias TV
https://www.youtube.com/playlist?list=PLiD-IJzweXR9CMW8piN4Pf1HjgSiGjLyi
Album de fotos de miniatura y carteles de los videos Académicos publicados por Ciencias TV
https://goo.gl/photos/EXEAiLUiLjKrHTeX9
Agradecemos el apoyo de
universo.math
http://universo.math.org.mx/
https://www.facebook.com/universo.math
Departamento de Matemáticas del CINVESTAV
http://www.math.cinvestav.mx/
Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/
https://www.facebook.com/Facultad-de-Ciencias-214278861928417/?fref=ts