La función Aufhebung en los topos gráficos

Ponente(s): Víctor Daniel Garcia Galicia

Lawvere propuso en 1991 una teoría de la dimensión, ahí define un nivel de un topos E como un subtopos esencial del mismo E. La idea de esta teoría es identificar dimensiones con niveles y entonces determinar qué son las dimensiones en ejemplos particulares. En otras palabras, para un topos de espacios E es de interés describir de manera más sencilla posible el álgebra de coHeyting de subtopos esenciales y la función Aufhebung. De este modo los niveles pueden proporcionar una forma sistemática de medir la complejidad de los objetos de E. En esta plática se presenta la cuestión anterior en el contexto de topos gráficos. Lawvere introdujo los topos gráficos , en parte, para tener un contexto más sencillo donde estudiar el Aufhebung.