You are here: Home › News and Events › Homotopy Type Theory monograph published, coauthored by Andrej Bauer

 

  • Projects

    Collaborative research project GReGAS consists of 8 projects lead by principal investigators and 8 projects lead by associate partners.
    more

  • Events

    Several events are organized in which members of GReGAS project are involved and provide contributions.
    more

  • Publications

    Important results of the project will be scientific publications and software.
    more

Homotopy Type Theory monograph published, coauthored by Andrej Bauer

The monograph "Homotopy Type Theory: Univalent Foundations of Mathematics" has been recently published online. A member of GReGAS project (N1-0011), Andrej Bauer, contributed significantly to the success of this new project of the Institute for Advanced Study, named "The HoTT book" which sets up a new foundation of mathematics. The monograph was created through collaborative research based on approaches known from open-source communities.