The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp.
DOI10.1017/BSL.2014.31zbMath1336.00105OpenAlexW2977888023MaRDI QIDQ2795209
Publication date: 18 March 2016
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2014.31
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Research exposition (monographs, survey articles) pertaining to algebraic topology (55-02) External book reviews (00A17) Categories of sets, characterizations (18B05) Topological categories, foundations of homotopy theory (55U40) Foundations, relations to logic and deductive systems (18A15)
Related Items (1)
This page was built for publication: The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp.
