Structuralism, Invariance, and Univalence
From MaRDI portal
Publication:5245979
DOI10.1093/philmat/nkt030zbMath1310.03021OpenAlexW2134718463WikidataQ56882559 ScholiaQ56882559MaRDI QIDQ5245979
Publication date: 17 April 2015
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/nkt030
Related Items
Univalent Foundations and the Equivalence Principle, Higher Structures in Homotopy Type Theory, What Do We Want a Foundation to Do?, Representation and Spacetime: The Hole Argument Revisited, Identity and intensionality in univalent foundations and philosophy, Univalent foundations as structuralist foundations, The hole argument, take \(n\), What we talk about when we talk about numbers, Can we resolve the continuum hypothesis?, A meaning explanation for HoTT, Expressing `the structure of' in homotopy type theory, UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY