Univalence and ontic structuralism

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)

zbMATH Keywords

hole argumentgauge symmetryhomotopy type theoryunivalent foundationsisomorphism as identityontic structuralism

Mathematics Subject Classification ID

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)