Citas bibligráficas
Esta es una referencia generada automáticamente. Modifíquela de ser necesario
Chu, F., (2023). Teoría homotópica de tipos [Universidad Nacional Mayor de San Marcos]. https://hdl.handle.net/20.500.12672/19939
Chu, F., Teoría homotópica de tipos []. PE: Universidad Nacional Mayor de San Marcos; 2023. https://hdl.handle.net/20.500.12672/19939
@mastersthesis{sunedu/3432130,
title = "Teoría homotópica de tipos",
author = "Chu Rivera, Fernando Rafael",
publisher = "Universidad Nacional Mayor de San Marcos",
year = "2023"
}
Título: Teoría homotópica de tipos
Autor(es): Chu Rivera, Fernando Rafael
Asesor(es): Coripaco Huarcaya, Jorge Alberto
Palabras clave: Topología algebraica; Análisis matemático
Campo OCDE: https://purl.org/pe-repo/ocde/ford#1.01.01
Fecha de publicación: 2023
Institución: Universidad Nacional Mayor de San Marcos
Resumen: 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.
Enlace al repositorio: https://hdl.handle.net/20.500.12672/19939
Disciplina académico-profesional: Matemática Pura
Institución que otorga el grado o título: Universidad Nacional Mayor de San Marcos. Facultad de Ciencias Matemáticas. Unidad de Posgrado
Grado o título: Magíster en Matemática Pura
Jurado: Ramos Castillo, Ricardo Jesús; Aguirre Enciso, Josué Alonso; Muñoz Márquez, Gabriel Armando
Fecha de registro: 25-jul-2023; 25-jul-2023
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons