Homotopy Type Theory: The Logic of Space

DOI10.1017/9781108854429.009zbMath1479.18002arXiv1703.03007OpenAlexW2602979188MaRDI QIDQ5164726

Michael Shulman

Publication date: 12 November 2021

Full work available at URL: https://arxiv.org/abs/1703.03007

zbMATH Keywords

geometrytopologylogichomotopy theorycategorical logichomotopy type theoryinfinity-groupoids

Mathematics Subject Classification ID

Logic in computer science (03B70) History of category theory (18-03) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Related Items (3)

A New Foundational Crisis in Mathematics, Is It Really Happening? ⋮ Diegetic Representation of Feedback in Open Games ⋮ Internal sums for synthetic fibered \((\infty,1)\)-categories

This page was built for publication: Homotopy Type Theory: The Logic of Space