Look-up in Google Scholar
Full metadata record
Coripaco Huarcaya, Jorge Alberto
Chu Rivera, Fernando Rafael
2023-07-25T17:01:48Z
2023-07-25T17:01:48Z
2023-07-25T17:01:48Z
2023-07-25T17:01:48Z
2023
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. (es_PE)
https://hdl.handle.net/20.500.12672/19939
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. (es_PE)
application/pdf (es_PE)
spa (es_PE)
Universidad Nacional Mayor de San Marcos (es_PE)
info:eu-repo/semantics/openAccess (es_PE)
https://creativecommons.org/licenses/by-nc-sa/4.0/ (es_PE)
Repositorio de Tesis - UNMSM (es_PE)
Universidad Nacional Mayor de San Marcos (es_PE)
Topología algebraica (es_PE)
Análisis matemático (es_PE)
Teoría homotópica de tipos (es_PE)
info:eu-repo/semantics/masterThesis (es_PE)
Universidad Nacional Mayor de San Marcos. Facultad de Ciencias Matemáticas. Unidad de Posgrado (es_PE)
Matemática Pura (es_PE)
Magíster en Matemática Pura (es_PE)
PE (es_PE)
https://purl.org/pe-repo/ocde/ford#1.01.01 (es_PE)
https://purl.org/pe-repo/renati/level#maestro (es_PE)
41075852
https://orcid.org/0000-0003-1927-0724 (es_PE)
71489634
541127 (es_PE)
Ramos Castillo, Ricardo Jesús
Aguirre Enciso, Josué Alonso
Muñoz Márquez, Gabriel Armando
https://purl.org/pe-repo/renati/type#tesis (es_PE)
Pública



This item is licensed under a Creative Commons License Creative Commons