Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas

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.

Autores:
Páez Gaviria, Walter Andrés
Tipo de recurso:
Fecha de publicación:
2015
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/56607
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/56607
http://bdigital.unal.edu.co/52453/
Palabra clave:
16 Lógica / Logic
51 Matemáticas / Mathematics
Representación
Completitud
Intuicionismo
Categorías abelianas
Pretopoi
Representation
Completeness
Intuitionism
Abelian categories
Pretopoi
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_6e3d434ef42e364a898166601268227b
oai_identifier_str oai:repositorio.unal.edu.co:unal/56607
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Zalamea, FernandoPáez Gaviria, Walter Andrés72c586e3-7d32-4f2c-89cb-c54de4325b1a3002019-07-02T11:58:46Z2019-07-02T11:58:46Z2015https://repositorio.unal.edu.co/handle/unal/56607http://bdigital.unal.edu.co/52453/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.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.Maestríaapplication/pdfspaUniversidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de MatemáticasDepartamento de MatemáticasPá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á.16 Lógica / Logic51 Matemáticas / MathematicsRepresentaciónCompletitudIntuicionismoCategorías abelianasPretopoiRepresentationCompletenessIntuitionismAbelian categoriesPretopoiLógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianasTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/acceptedVersionTexthttp://purl.org/redcol/resource_type/TMORIGINALwalterandrespaezgaviria.2015.pdfapplication/pdf439857https://repositorio.unal.edu.co/bitstream/unal/56607/1/walterandrespaezgaviria.2015.pdf1d34e90664ed1dedda71976b168bdefcMD51THUMBNAILwalterandrespaezgaviria.2015.pdf.jpgwalterandrespaezgaviria.2015.pdf.jpgGenerated Thumbnailimage/jpeg3943https://repositorio.unal.edu.co/bitstream/unal/56607/2/walterandrespaezgaviria.2015.pdf.jpge7ca886492d50e64e21ae2fd11399f78MD52unal/56607oai:repositorio.unal.edu.co:unal/566072024-03-23 23:09:02.692Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
title Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
spellingShingle Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
16 Lógica / Logic
51 Matemáticas / Mathematics
Representación
Completitud
Intuicionismo
Categorías abelianas
Pretopoi
Representation
Completeness
Intuitionism
Abelian categories
Pretopoi
title_short Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
title_full Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
title_fullStr Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
title_full_unstemmed Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
title_sort Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
dc.creator.fl_str_mv Páez Gaviria, Walter Andrés
dc.contributor.author.spa.fl_str_mv Páez Gaviria, Walter Andrés
dc.contributor.spa.fl_str_mv Zalamea, Fernando
dc.subject.ddc.spa.fl_str_mv 16 Lógica / Logic
51 Matemáticas / Mathematics
topic 16 Lógica / Logic
51 Matemáticas / Mathematics
Representación
Completitud
Intuicionismo
Categorías abelianas
Pretopoi
Representation
Completeness
Intuitionism
Abelian categories
Pretopoi
dc.subject.proposal.spa.fl_str_mv Representación
Completitud
Intuicionismo
Categorías abelianas
Pretopoi
Representation
Completeness
Intuitionism
Abelian categories
Pretopoi
description 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.
publishDate 2015
dc.date.issued.spa.fl_str_mv 2015
dc.date.accessioned.spa.fl_str_mv 2019-07-02T11:58:46Z
dc.date.available.spa.fl_str_mv 2019-07-02T11:58:46Z
dc.type.spa.fl_str_mv Trabajo de grado - Maestría
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/masterThesis
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/acceptedVersion
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TM
status_str acceptedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/56607
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/52453/
url https://repositorio.unal.edu.co/handle/unal/56607
http://bdigital.unal.edu.co/52453/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas
Departamento de Matemáticas
dc.relation.references.spa.fl_str_mv 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.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/56607/1/walterandrespaezgaviria.2015.pdf
https://repositorio.unal.edu.co/bitstream/unal/56607/2/walterandrespaezgaviria.2015.pdf.jpg
bitstream.checksum.fl_str_mv 1d34e90664ed1dedda71976b168bdefc
e7ca886492d50e64e21ae2fd11399f78
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089808820043776

Publicaciones similares