Fork me on GitHub
Math for the people, by the people.

User login

HoTT Book

Primary tabs

HoTT Book

Homotopy Type Theory

The Univalent Foundations Program

Institute for Advanced Study

© 2013 The Univalent Foundations Program

MSC 2010 classification: 03-02, 55-02, 03B15

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.

This book is freely available at http://homotopytypetheory.org/book/.

Apart from the generous support from the Institute for Advanced Study, some contributors to the book were partially or fully supported by the following agencies and grants:

  • Association of Members of the Institute for Advanced Study: a grant to the Institute for Advanced Study

  • Agencija za raziskovalno dejavnost Republike Slovenije: P1–0294, N1–0011.

  • Air Force Office of Scientific Research: FA9550-11-1-0143, and FA9550-12-1-0370.

    This material is based in part upon work supported by the AFOSR under the above awards. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the author(s) and do not necessarily reflect the views of the AFOSR.

  • Engineering and Physical Sciences Research Council: EP/G034109/1, EP/G03298X/1.

  • European Union’s 7th Framework Programme under grant agreement nr. 243847 (ForMath).

  • National Science Foundation: DMS-1001191, DMS-1100938, CCF-1116703, and DMS-1128155.

    This material is based in part upon work supported by the National Science Foundation under the above awards. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

  • The Simonyi Fund: a grant to the Institute for Advanced Study

Collection content

Titlesort descendingAuthorMy info
PrefacePMBookProjectUser not logged in
IntroductionPMBookProjectUser not logged in
Part I FoundationsPMBookProjectUser not logged in
Part II MathematicsPMBookProjectUser not logged in
HoTT Appendix APMBookProjectUser not logged in

Subscribe to Comments for "HoTT Book"