Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT
From MaRDI portal
Publication:5234242
DOI10.1093/philmat/nkw023zbMath1420.03019OpenAlexW2561704697MaRDI QIDQ5234242
Stuart Presnell, James Ladyman
Publication date: 25 September 2019
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/nkw023
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Representation and Spacetime: The Hole Argument Revisited ⋮ The hole argument in homotopy type theory ⋮ The hole argument, take \(n\) ⋮ UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY
This page was built for publication: Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT
