Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
Tipo de contenido
Trabajo de grado - Maestría
Idioma del documento
EspañolFecha de publicación
2015Resumen
En este trabajo estudiaremos algunas categor´ıas intermedias, abelianas, y sus teoremas de representaci ´on. Demostraremos teoremas de completitud para la l´ogica regular, coherente y cl´asica de primer orden. Tambi´en se har´a un comparaci´on entre pretopoi y categor´ıas abelianas.Resumen
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.Palabras clave
Colecciones
Esta obra está bajo licencia internacional Creative Commons Reconocimiento-NoComercial 4.0.Este documento ha sido depositado por parte de el(los) autor(es) bajo la siguiente constancia de depósito