Cambiar a contenido. | Saltar a navegación

Herramientas Personales
Entrar

Navegación

Usted está aquí: Inicio / Actividades / Seminarios / Seminario de Categorías / Actividades del Seminario de Categorías / La caracterización de los topos cuyas completaciones exactas son un topos.

La caracterización de los topos cuyas completaciones exactas son un topos.

Matías Menni. CONICET y Universidad Nacional de La Plata, Argentina. Martes 22 de Noviembre 18:00 horas. Salón de seminarios 1 IMUNAM.
Ponente:
Cuándo 22/11/2011
de 18:00 a 19:30
Agregar evento al calendario vCal
iCal

Este problema se declara abierto en el último párrafo de la p. 131 de [1].
En 1995 sólo se sabía que la completación exacta de un topos atómico es un topos
y que la completación exacta del topos de grafos no-reflexivos no es un topos.
Explicaremos la motivación  del problema, enunciaremos una solución parcial y
discutiremos algunos de los obstáculos para resolver el problema por completo.


[1] Carboni, A. Some free constructions in realizability and proof theory, J. Pure Appl. Algebra 103, 1995

[2] Menni, M. Cocomplete toposes whose exact completions are toposes. Journal of Pure and Applied Algebra 210, 2007.