Teoría homotópica de tipos

Descripción del Articulo

Explica la teoría homotópica de tipos que uniformiza los conceptos de proposiciones y de conjuntos en uno solo más general, el de “tipos”. El estudio desarrolla las nociones principales de esta teoría e identifica que esta tiene una profunda estructura, que puede ser vista desde tres perspectivas di...

Descripción completa

Detalles Bibliográficos
Autor: Chu Rivera, Fernando Rafael
Formato: tesis de maestría
Fecha de Publicación:2023
Institución:Universidad Nacional Mayor de San Marcos
Repositorio:UNMSM-Tesis
Lenguaje:español
OAI Identifier:oai:cybertesis.unmsm.edu.pe:20.500.12672/19939
Enlace del recurso:https://hdl.handle.net/20.500.12672/19939
Nivel de acceso:acceso abierto
Materia:Topología algebraica
Análisis matemático
https://purl.org/pe-repo/ocde/ford#1.01.01
id UNMS_38dad90255fe418efca50d8929cdd672
oai_identifier_str oai:cybertesis.unmsm.edu.pe:20.500.12672/19939
network_acronym_str UNMS
network_name_str UNMSM-Tesis
repository_id_str 410
dc.title.es_PE.fl_str_mv Teoría homotópica de tipos
title Teoría homotópica de tipos
spellingShingle Teoría homotópica de tipos
Chu Rivera, Fernando Rafael
Topología algebraica
Análisis matemático
https://purl.org/pe-repo/ocde/ford#1.01.01
title_short Teoría homotópica de tipos
title_full Teoría homotópica de tipos
title_fullStr Teoría homotópica de tipos
title_full_unstemmed Teoría homotópica de tipos
title_sort Teoría homotópica de tipos
author Chu Rivera, Fernando Rafael
author_facet Chu Rivera, Fernando Rafael
author_role author
dc.contributor.advisor.fl_str_mv Coripaco Huarcaya, Jorge Alberto
dc.contributor.author.fl_str_mv Chu Rivera, Fernando Rafael
dc.subject.es_PE.fl_str_mv Topología algebraica
Análisis matemático
topic Topología algebraica
Análisis matemático
https://purl.org/pe-repo/ocde/ford#1.01.01
dc.subject.ocde.es_PE.fl_str_mv https://purl.org/pe-repo/ocde/ford#1.01.01
description Explica la teoría homotópica de tipos que uniformiza los conceptos de proposiciones y de conjuntos en uno solo más general, el de “tipos”. El estudio desarrolla las nociones principales de esta teoría e identifica que esta tiene una profunda estructura, que puede ser vista desde tres perspectivas distintas: la categórica, la lógica y la homotópica. Por lo cual, formaliza algunos conceptos clásicos de topología algebraica, como contractibilidad, retracciones, secciones y equivalencias homotópica. Finalmente, culmina con una demostración de que π1(S1) = Z, a modo de aplicación. Adicionalmente, comprueba los resultados a través de un asistente de pruebas, Agda.
publishDate 2023
dc.date.accessioned.none.fl_str_mv 2023-07-25T17:01:48Z
dc.date.available.none.fl_str_mv 2023-07-25T17:01:48Z
dc.date.issued.fl_str_mv 2023
dc.type.es_PE.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.citation.es_PE.fl_str_mv Chu, F. (2023). Teoría Homotópica de Tipos. [Tesis de maestría, Universidad Nacional Mayor de San Marcos, Facultad de Ciencias Matemáticas, Unidad de Posgrado]. Repositorio institucional Cybertesis UNMSM.
dc.identifier.uri.none.fl_str_mv https://hdl.handle.net/20.500.12672/19939
identifier_str_mv Chu, F. (2023). Teoría Homotópica de Tipos. [Tesis de maestría, Universidad Nacional Mayor de San Marcos, Facultad de Ciencias Matemáticas, Unidad de Posgrado]. Repositorio institucional Cybertesis UNMSM.
url https://hdl.handle.net/20.500.12672/19939
dc.language.iso.es_PE.fl_str_mv spa
language spa
dc.relation.ispartof.fl_str_mv SUNEDU
dc.rights.es_PE.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.uri.es_PE.fl_str_mv https://creativecommons.org/licenses/by-nc-sa/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/4.0/
dc.format.es_PE.fl_str_mv application/pdf
dc.publisher.es_PE.fl_str_mv Universidad Nacional Mayor de San Marcos
dc.publisher.country.es_PE.fl_str_mv PE
dc.source.es_PE.fl_str_mv Universidad Nacional Mayor de San Marcos
Repositorio de Tesis - UNMSM
dc.source.none.fl_str_mv reponame:UNMSM-Tesis
instname:Universidad Nacional Mayor de San Marcos
instacron:UNMSM
instname_str Universidad Nacional Mayor de San Marcos
instacron_str UNMSM
institution UNMSM
reponame_str UNMSM-Tesis
collection UNMSM-Tesis
bitstream.url.fl_str_mv https://cybertesis.unmsm.edu.pe/bitstreams/caaa4aa0-ddc2-4a55-8f1c-f26652bf4c8c/download
https://cybertesis.unmsm.edu.pe/bitstreams/22dc35ae-4671-4107-9ceb-f61b0a34b410/download
https://cybertesis.unmsm.edu.pe/bitstreams/f182cc74-ec43-4225-be4c-21a313a7e89e/download
https://cybertesis.unmsm.edu.pe/bitstreams/327d012f-40be-4510-8113-6111cc466743/download
https://cybertesis.unmsm.edu.pe/bitstreams/7abf0b15-b502-4778-b337-bbae0f775531/download
https://cybertesis.unmsm.edu.pe/bitstreams/739b1c2f-07cc-4907-aeee-8e76eeac8629/download
bitstream.checksum.fl_str_mv 8a4605be74aa9ea9d79846c1fba20a33
9d234f13f683dcb8a3afa2ea19db3be8
d41d8cd98f00b204e9800998ecf8427e
d41d8cd98f00b204e9800998ecf8427e
51af171917f6334d549377a4fbbdaf4d
f674fafb872748ebddad23bc355a8838
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Cybertesis UNMSM
repository.mail.fl_str_mv cybertesis@unmsm.edu.pe
_version_ 1846618093667745792
spelling Coripaco Huarcaya, Jorge AlbertoChu Rivera, Fernando Rafael2023-07-25T17:01:48Z2023-07-25T17:01:48Z2023Chu, F. (2023). Teoría Homotópica de Tipos. [Tesis de maestría, Universidad Nacional Mayor de San Marcos, Facultad de Ciencias Matemáticas, Unidad de Posgrado]. Repositorio institucional Cybertesis UNMSM.https://hdl.handle.net/20.500.12672/19939Explica la teoría homotópica de tipos que uniformiza los conceptos de proposiciones y de conjuntos en uno solo más general, el de “tipos”. El estudio desarrolla las nociones principales de esta teoría e identifica que esta tiene una profunda estructura, que puede ser vista desde tres perspectivas distintas: la categórica, la lógica y la homotópica. Por lo cual, formaliza algunos conceptos clásicos de topología algebraica, como contractibilidad, retracciones, secciones y equivalencias homotópica. Finalmente, culmina con una demostración de que π1(S1) = Z, a modo de aplicación. Adicionalmente, comprueba los resultados a través de un asistente de pruebas, Agda.application/pdfspaUniversidad Nacional Mayor de San MarcosPEinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/4.0/Universidad Nacional Mayor de San MarcosRepositorio de Tesis - UNMSMreponame:UNMSM-Tesisinstname:Universidad Nacional Mayor de San Marcosinstacron:UNMSMTopología algebraicaAnálisis matemáticohttps://purl.org/pe-repo/ocde/ford#1.01.01Teoría homotópica de tiposinfo:eu-repo/semantics/masterThesisSUNEDUMagíster en Matemática PuraUniversidad Nacional Mayor de San Marcos. Facultad de Ciencias Matemáticas. Unidad de PosgradoMatemática Pura41075852https://orcid.org/0000-0003-1927-072471489634541127Aguirre Enciso, Josué AlonsoMuñoz Márquez, Gabriel ArmandoRamos Castillo, Ricardo Jesúshttps://purl.org/pe-repo/renati/level#maestrohttps://purl.org/pe-repo/renati/type#tesis413417444444477471594930LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://cybertesis.unmsm.edu.pe/bitstreams/caaa4aa0-ddc2-4a55-8f1c-f26652bf4c8c/download8a4605be74aa9ea9d79846c1fba20a33MD52ORIGINALChu_rf.pdfChu_rf.pdfapplication/pdf1575198https://cybertesis.unmsm.edu.pe/bitstreams/22dc35ae-4671-4107-9ceb-f61b0a34b410/download9d234f13f683dcb8a3afa2ea19db3be8MD53C909_2023_Chu_rf_autorizacion.pdfapplication/pdf0https://cybertesis.unmsm.edu.pe/bitstreams/f182cc74-ec43-4225-be4c-21a313a7e89e/downloadd41d8cd98f00b204e9800998ecf8427eMD58C909_2023_Chu_rf_originalidad.pdfapplication/pdf0https://cybertesis.unmsm.edu.pe/bitstreams/327d012f-40be-4510-8113-6111cc466743/downloadd41d8cd98f00b204e9800998ecf8427eMD59TEXTChu_rf.pdf.txtChu_rf.pdf.txtExtracted texttext/plain104477https://cybertesis.unmsm.edu.pe/bitstreams/7abf0b15-b502-4778-b337-bbae0f775531/download51af171917f6334d549377a4fbbdaf4dMD56THUMBNAILChu_rf.pdf.jpgChu_rf.pdf.jpgGenerated Thumbnailimage/jpeg12862https://cybertesis.unmsm.edu.pe/bitstreams/739b1c2f-07cc-4907-aeee-8e76eeac8629/downloadf674fafb872748ebddad23bc355a8838MD5720.500.12672/19939oai:cybertesis.unmsm.edu.pe:20.500.12672/199392024-09-18 13:37:14.442https://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccessopen.accesshttps://cybertesis.unmsm.edu.peCybertesis UNMSMcybertesis@unmsm.edu.peTk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=
score 13.121131
Teoría homotópica de tipos
Nota importante:
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).

Ejemplares Similares