Sunteți pe pagina 1din 2

Lgica de categoras intermedias, teoremas de representacin y aplicaciones a categoras

abelianas
Autor: Walter Andrs Pez Gaviria
Filiacin: Maestra en Ciencias-Matemticas
Director(es): Fernando Zalamea
Filiacin: Departamento de Matemticas, Facultad de Ciencias
Fecha sustentacin: 11/05/2016
Palabras clave: representacin, completitud, intuicionismo, categoras abelianas, pretopoi.
Resumen: En este trabajo estudiaremos algunas categoras intermedias, abelianas y sus
teoremas de representacin. Demostraremos teoremas de completitud para la lgica
regular, coherente y clsica de primer orden. Tambin se har una comparacin entre
pretopoi y categoras abelianas.
Abstract: We are going to study some intermediate categories, abelian categories and their
representation theorems. This will allow us to prove completeness theorems for regular,
coherent and classical first order logic. We will end by making a comparison between
pretopoi and abelian categories.
Descripcin del problema estudiado y resultados ms relevantes. Como parte de los
objetivos de este trabajo, se estudiaron algunas categoras intermedias -de regulares a
topoi-, categoras abelianas y alegoras, categoras en las que se quiere ver a los morfismos
de la categora, no como generalizaciones de las funciones entre conjuntos, sino como
generalizaciones de las relaciones entre conjuntos. Siguiendo el libro Catefories, Allegories
(Freyd & Scedrov 1990), se logr representar cada uno de estos tipos de categoras
abstractas en potencias de la categora de conjuntos. Estas representaciones permitieron
demostrar teoremas de completitud a travs de un procedimiento que asigna a cada teora
una alegora con su informacin deductiva. Este procedimiento establece una
correspondencia entre las categoras intermedias: de regulares a topoi, y las teoras
intuicionistas intermedias: de regulares a rdenes superiores. Como parte final, se present
una comparacin, debida a Freyd, entre topoi y categoras abelianas, la cual se basa en el
concepto de categora AT.
Conclusiones de la Tesis:
1. Durante el desarrollo de este trabajo se hizo evidente la ubicuidad de las
representaciones que llevan lo abstracto a lo concreto: representar categoras abstractas en
categoras concretas, potencias de la categora de conjuntos, categora de grupos
abelianos. Se mostr cmo este proceso concluye en teoremas de completitud, incluyendo
el de Gdel.
2. Se observ que en las categoras de Grothendieck la distributividad de un retculo de
subobjetos implica que este sea un lgebra de Heyting.
4. Se mostr que la razn de la bifurcacin radical entre los pretopoi y las categoras
abelianas se encuentra en las diferencias de comportamiento de sus objetos iniciales. En
este anlisis se introdujeron las categoras AT, que representan la amalgama exacta y, a la
vez, el umbral de separacin esencial entre pretopoi y categoras abelianas.

Sugerencias: La conclusin 2. de esta tesis invita a ahondar en la relacin entre ciertas


categoras de Grothendieck y la lgica intuicionista; por ejemplo, mediante la consideracin
de lgebras de Heyting de subgrupos de un grupo localmente finito como modelos para la
lgica intuicionista.

Agradecimientos: Al profesor Fernando Zalamea, por el conocimiento, las visiones


compartidas y el valioso apoyo que me ha brindado y que ha sido esencial para poder seguir
adelante en esta poca.

Vo.Bo. Director de Tesis __________________________________

S-ar putea să vă placă și