Mostrar el registro sencillo del documento
Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
dc.rights.license | Atribución-NoComercial 4.0 Internacional |
dc.contributor | Zalamea, Fernando |
dc.contributor.author | Páez Gaviria, Walter Andrés |
dc.date.accessioned | 2019-07-02T11:58:46Z |
dc.date.available | 2019-07-02T11:58:46Z |
dc.date.issued | 2015 |
dc.identifier.uri | https://repositorio.unal.edu.co/handle/unal/56607 |
dc.description.abstract | 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. |
dc.description.abstract | 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. |
dc.format.mimetype | application/pdf |
dc.language.iso | spa |
dc.relation.ispartof | Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas |
dc.relation.ispartof | Departamento de Matemáticas |
dc.rights | Derechos reservados - Universidad Nacional de Colombia |
dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0/ |
dc.subject.ddc | 16 Lógica / Logic |
dc.subject.ddc | 51 Matemáticas / Mathematics |
dc.title | Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas |
dc.type | Trabajo de grado - Maestría |
dc.type.driver | info:eu-repo/semantics/masterThesis |
dc.type.version | info:eu-repo/semantics/acceptedVersion |
dc.identifier.eprints | http://bdigital.unal.edu.co/52453/ |
dc.description.degreelevel | Maestría |
dc.relation.references | Páez Gaviria, Walter Andrés (2015) Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas. Maestría thesis, Universidad Nacional de Colombia - Sede Bogotá. |
dc.rights.accessrights | info:eu-repo/semantics/openAccess |
dc.subject.proposal | Representación |
dc.subject.proposal | Completitud |
dc.subject.proposal | Intuicionismo |
dc.subject.proposal | Categorías abelianas |
dc.subject.proposal | Pretopoi |
dc.subject.proposal | Representation |
dc.subject.proposal | Completeness |
dc.subject.proposal | Intuitionism |
dc.subject.proposal | Abelian categories |
dc.subject.proposal | Pretopoi |
dc.type.coar | http://purl.org/coar/resource_type/c_bdcc |
dc.type.coarversion | http://purl.org/coar/version/c_ab4af688f83e57aa |
dc.type.content | Text |
dc.type.redcol | http://purl.org/redcol/resource_type/TM |
oaire.accessrights | http://purl.org/coar/access_right/c_abf2 |
Archivos en el documento
Este documento aparece en la(s) siguiente(s) colección(ones)
![Atribución-NoComercial 4.0 Internacional](/themes/Mirage2//images/creativecommons/cc-generic.png)