Lógica Categórica de Primer Orden 2
Plática dada por Francisco Marmolejo (Instituto de Matemáticas de la UNAM) en el Seminario de Categorías el martes 14 de febrero del 2017 en el Instituto de Matemáticas de la UNAM
Resumen:
Comenzamos la revisión del libro de Makkai y Reyes llamado “First order categorical logic”. Iniciamos con el primer capítulo sobre topos de Grothendieck. Y en esta ocasión revisaremos la parte correspondiente al funtor gavillanización del pregavillas en gavillas.
Video de la plática
https://youtu.be/28EpIw9RxfU
Foto de miniatura del video
https://goo.gl/photos/qfSjb89wjyzjgJs6A
Páginas del Seminario de Categorías del Instituto de Matemáticas de la UNAM
http://www.matem.unam.mx/actividades/seminarios/categorias
http://www.matem.unam.mx/actividades/seminarios/categorias/actividades/logica-categorica-de-primer-orden-2
Pláticas del Seminario de Categorías del Instituto de Mátematicas de la UNAM
https://www.youtube.com/playlist?list=PLrg-5oUhFeipkjEpmYBtpOvaOMUzieSdN
Página del Coloquio de Categorías, Álgebra y temas afines
http://cinvcat.org.mx/coloquio.html
Pláticas del Coloquio de Categorías, Álgebra y temas afines
https://www.youtube.com/playlist?list=PLrg-5oUhFeiqhaSj_AXr9vX1w7i–vWxY
Página de Francisco Marmolejo en el Instituto de Mátematicas de la UNAM
http://www.matem.unam.mx/fsd/quico
Página de Francisco Marmolejo en la Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/directorio/53962
Página de Francisco Marmolejo en Mathematics Genealogy Project
https://www.genealogy.math.ndsu.nodak.edu/id.php?id=45620
Página de facebook del Ciencias TV
https://www.facebook.com/Ciencias-TV-170487220017476
Videos de Matemáticas publicados por Ciencias TV
https://www.youtube.com/playlist?list=PLiD-IJzweXR8iyKKoKUGpAzF8rLWIu4A4
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