Un acercamiento a la Teoría de Topos y su lógica

Ponente(s): Angel Augusto Camacho Acosta, Dr. Alejandro Ramírez Páramo
La Teoría de Topos es una rama de la Teoría de Categorías, la cual trabaja con categorías que se comportan como la categoría de conjuntos, lo que permite dar otra perspectiva a los fundamentos de la matemática. En este trabajo estableceremos el concepto de Topos y hablaremos de algunas propiedades importantes de estas estructuras, para luego poder hacer un desarrollo de la lógica clásica través del lenguaje de la Teoría de Topos. Además, veremos que bajo ciertas condiciones la lógica interna de un topos está estrechamente relacionada con la lógica intuicionista. Esto con el fin de visualizar el alcance de tal teoría como fundamento de las matemáticas.