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
Descripción
Sumario: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.
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