Structuralism, Invariance, and Univalence

DOI10.1093/philmat/nkt030zbMath1310.03021OpenAlexW2134718463WikidataQ56882559 ScholiaQ56882559MaRDI QIDQ5245979

Steven Awodey

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

Mathematics Subject Classification ID

Topological categories, foundations of homotopy theory (55U40)

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