Seminario de Categorías (marzo 2017)

Leyes distributivas, tres ejemplos: el clásico y dos canónicos

Plática dada por Enrique Ruiz (Instituto de Matemáticas de la UNAM) en el Seminario de Categorías el martes 28 de marzo del 2017 en el Instituto de Matemáticas de la UNAM

Resumen:
Veremos en detalle el cuadrado adjunto inducido por la ley distributiva por antonomasia y calcularemos las álgebras de la mónada compuesta de dos leyes distributivas canónicas, una de la mónada A+X, con A fijo, sobre cualquier otra mónada y otra de la mónada GxX, con G un monoide fijo, sobre cualquier otra mónada, todo sobre Con.

 

Lógica Categórica de Primer Orden 4. Plática dada por Francisco Marmolejo (Instituto de Matemáticas de la UNAM) en el Seminario de Categorías el martes 7 de marzo del 2017 en el Instituto de Matemáticas de la UNAM. Resumen:
Después de demostrar un par de resultados sobre gavillanización que quedaron pendientes, pasaremos a la parte de morfismos geométricos entre topos.

Plática dada por Francisco Marmolejo (Instituto de Matemáticas de la UNAM) en el Seminario de Categorías el martes 14 de marzo del 2017 en el Instituto de Matemáticas de la UNAM
Resumen:
Continuaremos con los teoremas de morfismos geométricos que quedaron pendientes e iniciaremos con la demostración del teorema de Giraud.

 

Go to top