Look-up in Google Scholar
Title: Teoría homotópica de tipos
Advisor(s): Coripaco Huarcaya, Jorge Alberto
OCDE field: https://purl.org/pe-repo/ocde/ford#1.01.01
Issue Date: 2023
Institution: Universidad Nacional Mayor de San Marcos
Abstract: 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.
Discipline: Matemática Pura
Grade or title grantor: Universidad Nacional Mayor de San Marcos. Facultad de Ciencias Matemáticas. Unidad de Posgrado
Grade or title: Magíster en Matemática Pura
Juror: Ramos Castillo, Ricardo Jesús; Aguirre Enciso, Josué Alonso; Muñoz Márquez, Gabriel Armando
Register date: 25-Jul-2023; 25-Jul-2023



This item is licensed under a Creative Commons License Creative Commons