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.
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.