Univalence and ontic structuralism
From MaRDI portal
Publication:6586941
DOI10.1007/S10701-024-00768-4MaRDI QIDQ6586941FDOQ6586941
Authors: Lu Chen
Publication date: 13 August 2024
Published in: Foundations of Physics (Search for Journal in Brave)
hole argumentgauge symmetryhomotopy type theoryunivalent foundationsisomorphism as identityontic structuralism
Applied homological algebra and category theory in algebraic topology (55Uxx) General logic (03Bxx) Philosophical aspects of logic and foundations (03Axx)
Cites Work
- Title not available (Why is that?)
- Modeling and Control of Complex Physical Systems
- Homotopy type theory. Univalent foundations of mathematics
- The mathematical universe
- Types and programing languages
- Remodelling structural realism: quantum physics and the metaphysics of structure
- Title not available (Why is that?)
- Identity and intensionality in univalent foundations and philosophy
- Structuralism, Invariance, and Univalence
- Regarding the ‘Hole Argument’
- The hole argument, take \(n\)
- The univalence axiom in cubical sets
- On Einstein algebras and relativistic spacetimes
- Homotopy Type Theory: A synthetic approach to higher equalities
- Univalent foundations as structuralist foundations
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Quantum gauge field theory in cohesive homotopy type theory
- The hole argument in homotopy type theory
- Who's afraid of coordinate systems? An essay on representation of spacetime structure
- Does homotopy type theory provide a foundation for mathematics?
- Sophistication about symmetries
- Identity in homotopy type theory. II: The conceptual and philosophical status of identity in HoTT
- Modal Homotopy Type Theory
- What types should not be
This page was built for publication: Univalence and ontic structuralism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6586941)