Categorías intermedias, relaciones y residuación

Exploramos la interpretación de las relaciones dentro de las categorías intermedias entre las categorias cartesianas y los logoi de Freyd, y estudiamos su conexión con las lógicas intermedias, principalmente con la intuicionista de primer orden. Con dichas herramientas mostramos una prueba alternati...

Full description

Autores:
Carmona González, Juan Felipe
Tipo de recurso:
Fecha de publicación:
2010
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/6812
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/6812
http://bdigital.unal.edu.co/3041/
Palabra clave:
51 Matemáticas / Mathematics
Categorias intermedias
Relaciones
Lógica intuicionista
Haces
Intermediate Categories
Relations
Intuitionistic logic
Sheaves
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_fecaca97b0cf1ae8295b55114df2f2a9
oai_identifier_str oai:repositorio.unal.edu.co:unal/6812
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, Fernando (Thesis advisor)756bed98-061f-4e76-8933-6e6d4d7f8e4aCarmona González, Juan Felipe8dd3d2a3-77b5-45c8-96e9-7d0997bc198a3002019-06-24T16:26:03Z2019-06-24T16:26:03Z2010-05https://repositorio.unal.edu.co/handle/unal/6812http://bdigital.unal.edu.co/3041/Exploramos la interpretación de las relaciones dentro de las categorías intermedias entre las categorias cartesianas y los logoi de Freyd, y estudiamos su conexión con las lógicas intermedias, principalmente con la intuicionista de primer orden. Con dichas herramientas mostramos una prueba alternativa del teorema de completitud para la lógica intuicionista. Finalmente anexamos una aplicación a la lógica de haces de Caicedo. / Abstract. We explore the interpretation of relations in the intermediate categories between the cartesian categories and the logoi of Freyd, and we study its connection with intermediate logics, mainly with the intuitionistic first order logic. With this tools we show an alternative proof of the intuitionistic logic completeness. Finally we study an application to Caicedo's logic.of sheaves.Maestríaapplication/pdfspaUniversidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de MatemáticasDepartamento de MatemáticasCarmona González, Juan Felipe (2010) Categorías intermedias, relaciones y residuación / Intermediate categories, relations and residuation. Maestría thesis, Universidad Nacional de Colombia.51 Matemáticas / MathematicsCategorias intermediasRelacionesLógica intuicionistaHacesIntermediate CategoriesRelationsIntuitionistic logicSheavesCategorías intermedias, relaciones y residuaciónIntermediate categories, relations and residuationTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/acceptedVersionTexthttp://purl.org/redcol/resource_type/TMORIGINALjuanfelipecarmona.2010.pdfapplication/pdf741929https://repositorio.unal.edu.co/bitstream/unal/6812/1/juanfelipecarmona.2010.pdf561f47eb304c9742ed1a1bd44b4129a0MD51THUMBNAILjuanfelipecarmona.2010.pdf.jpgjuanfelipecarmona.2010.pdf.jpgGenerated Thumbnailimage/jpeg4005https://repositorio.unal.edu.co/bitstream/unal/6812/2/juanfelipecarmona.2010.pdf.jpga643455f8641ac8a0988489a7fb0b509MD52unal/6812oai:repositorio.unal.edu.co:unal/68122022-11-04 10:58:20.919Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Categorías intermedias, relaciones y residuación
dc.title.translated.Spa.fl_str_mv Intermediate categories, relations and residuation
title Categorías intermedias, relaciones y residuación
spellingShingle Categorías intermedias, relaciones y residuación
51 Matemáticas / Mathematics
Categorias intermedias
Relaciones
Lógica intuicionista
Haces
Intermediate Categories
Relations
Intuitionistic logic
Sheaves
title_short Categorías intermedias, relaciones y residuación
title_full Categorías intermedias, relaciones y residuación
title_fullStr Categorías intermedias, relaciones y residuación
title_full_unstemmed Categorías intermedias, relaciones y residuación
title_sort Categorías intermedias, relaciones y residuación
dc.creator.fl_str_mv Carmona González, Juan Felipe
dc.contributor.advisor.spa.fl_str_mv Zalamea, Fernando (Thesis advisor)
dc.contributor.author.spa.fl_str_mv Carmona González, Juan Felipe
dc.subject.ddc.spa.fl_str_mv 51 Matemáticas / Mathematics
topic 51 Matemáticas / Mathematics
Categorias intermedias
Relaciones
Lógica intuicionista
Haces
Intermediate Categories
Relations
Intuitionistic logic
Sheaves
dc.subject.proposal.spa.fl_str_mv Categorias intermedias
Relaciones
Lógica intuicionista
Haces
Intermediate Categories
Relations
Intuitionistic logic
Sheaves
description Exploramos la interpretación de las relaciones dentro de las categorías intermedias entre las categorias cartesianas y los logoi de Freyd, y estudiamos su conexión con las lógicas intermedias, principalmente con la intuicionista de primer orden. Con dichas herramientas mostramos una prueba alternativa del teorema de completitud para la lógica intuicionista. Finalmente anexamos una aplicación a la lógica de haces de Caicedo. / Abstract. We explore the interpretation of relations in the intermediate categories between the cartesian categories and the logoi of Freyd, and we study its connection with intermediate logics, mainly with the intuitionistic first order logic. With this tools we show an alternative proof of the intuitionistic logic completeness. Finally we study an application to Caicedo's logic.of sheaves.
publishDate 2010
dc.date.issued.spa.fl_str_mv 2010-05
dc.date.accessioned.spa.fl_str_mv 2019-06-24T16:26:03Z
dc.date.available.spa.fl_str_mv 2019-06-24T16:26:03Z
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/6812
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/3041/
url https://repositorio.unal.edu.co/handle/unal/6812
http://bdigital.unal.edu.co/3041/
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 Carmona González, Juan Felipe (2010) Categorías intermedias, relaciones y residuación / Intermediate categories, relations and residuation. Maestría thesis, Universidad Nacional de Colombia.
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/6812/1/juanfelipecarmona.2010.pdf
https://repositorio.unal.edu.co/bitstream/unal/6812/2/juanfelipecarmona.2010.pdf.jpg
bitstream.checksum.fl_str_mv 561f47eb304c9742ed1a1bd44b4129a0
a643455f8641ac8a0988489a7fb0b509
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_ 1814090039921999872