UNAM
You are here: Home / Actividades académicas / Seminarios en C.U. / 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.

When Nov 22, 2011
from 06:00 PM to 07:30 PM
Add event to calendar 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.