Atribución-NoComercial 4.0 InternacionalZalamea, FernandoPáez Gaviria, Walter Andrés2019-07-022019-07-022015https://repositorio.unal.edu.co/handle/unal/56607En este trabajo estudiaremos algunas categorías intermedias, abelianas, y sus teoremas de representación. Demostraremos teoremas de completitud para la lógica regular, coherente y clásica de primer orden. También se hará un comparación entre pretopoi y categorías abelianas. (Texto tomado de la fuente)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.application/pdfspaDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/16 Lógica / Logic51 Matemáticas / MathematicsLógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianasTrabajo de grado - Maestríahttp://bdigital.unal.edu.co/52453/info:eu-repo/semantics/openAccessRepresentaciónCompletitudIntuicionismoCategorías abelianasPretopoiRepresentationCompletenessIntuitionismAbelian categoriesPretopoi