Description

Results obtained during the research include the following: (1) the historical premises of the homotopy type theory and the univalent approach to the foundations of mathematics were considered; (2) the philosophical meaning of the homotopy type theory was investigated, also it was contrasted with other variants of type theory; (3) the philosophical premises, the meaning and consequences of the univalence axiom was investigated, (4) the ontological status of objects of mathematics is defined and investigated from the point of view of a univalent approach, (5) relevant methods of mathematical objects research from the point of view of a unified approach were studied, (6) the philosophical and methodological foundations and principles of further research within the framework of a univalent approach to the foundations of mathematics were formulated and studied.
StatusFinished
Effective start/end date01/01/201631/12/2017

Keywords

  • 02.15.31
  • Presidential Grant
  • Kuibyshev Research Division