Homotopy Type Theory

DOI10.1007/978-3-662-45824-2_1zbMath1304.03043OpenAlexW141884398MaRDI QIDQ2937385

Steven Awodey

Publication date: 9 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45824-2_1

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Topological categories, foundations of homotopy theory (55U40)

Related Items

The Frobenius condition, right properness, and uniform fibrations, Unnamed Item