Univalence and ontic structuralism
type: Item
instance of: scholarly article
title: Univalence and ontic structuralism
author: Lu Chen
published in: Foundations of Physics
publication date: 2024-08-13T00:00:00Z
Mathematics Subject Classification ID: 03Bxx
Mathematics Subject Classification ID: 55Uxx
Mathematics Subject Classification ID: 03Axx
zbMATH DE Number: 7896336
zbMATH Keywords: univalent foundations
zbMATH Keywords: homotopy type theory
zbMATH Keywords: ontic structuralism
zbMATH Keywords: isomorphism as identity
zbMATH Keywords: hole argument
zbMATH Keywords: gauge symmetry
MaRDI profile type: Publication
cites work: Identity and intensionality in univalent foundations and philosophy
cites work: Structuralism, Invariance, and Univalence
cites work: What Types Should Not Be†
cites work: The univalence axiom in cubical sets
cites work: Modal Homotopy Type Theory
cites work: Sophistication about Symmetries
cites work: The hole argument, take \(n\)
cites work: Remodelling structural realism: quantum physics and the metaphysics of structure
cites work: Modeling and Control of Complex Physical Systems
cites work: Q4693714
cites work: Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT
cites work: Does Homotopy Type Theory Provide a Foundation for Mathematics?
cites work: The hole argument in homotopy type theory
cites work: Q3997818
cites work: Types and programing languages
cites work: On Einstein algebras and relativistic spacetimes
cites work: Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
cites work: Brouwer's fixed-point theorem in real-cohesive homotopy type theory
cites work: Homotopy Type Theory: A synthetic approach to higher equalities
cites work: The mathematical universe
cites work: Univalent foundations as structuralist foundations
cites work: Homotopy Type Theory: Univalent Foundations of Mathematics
cites work: Who's afraid of coordinate systems? An essay on representation of spacetime structure
cites work: Regarding the ‘Hole Argument’
DOI: 10.1007/S10701-024-00768-4
description: scientific article; zbMATH DE number 7896336