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...
- 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
- 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 |