Back to Search Start Over

Introduction – from type theory and homotopy theory to univalent foundations.

Authors :
AWODEY, STEVE
GAMBINO, NICOLA
PALMGREN, ERIK
Source :
Mathematical Structures in Computer Science; Jun2015, Vol. 25 Issue 5, p1005-1009, 5p
Publication Year :
2015

Abstract

We give an overview of the main ideas involved in the development of homotopy type theory and the univalent foundations of Mathematics programme. This serves as a background for the research papers published in the special issue. [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
HOMOTOPY theory
UNIVALENT functions
MATHEMATICS
MATHEMATICAL analysis
TOPOLOGY

Details

Language :
English
ISSN :
09601295
Volume :
25
Issue :
5
Database :
Complementary Index
Journal :
Mathematical Structures in Computer Science
Publication Type :
Academic Journal
Accession number :
102337537
Full Text :
https://doi.org/10.1017/S0960129514000474
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details