Univalence and ontic structuralism
From MaRDI portal
Publication:6586941
Cites work
- scientific article; zbMATH DE number 48990 (Why is no real title available?)
- scientific article; zbMATH DE number 205892 (Why is no real title available?)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Does homotopy type theory provide a foundation for mathematics?
- Homotopy Type Theory: A synthetic approach to higher equalities
- Homotopy type theory. Univalent foundations of mathematics
- Identity and intensionality in univalent foundations and philosophy
- Identity in homotopy type theory. II: The conceptual and philosophical status of identity in HoTT
- Modal Homotopy Type Theory
- Modeling and Control of Complex Physical Systems
- On Einstein algebras and relativistic spacetimes
- Quantum gauge field theory in cohesive homotopy type theory
- Regarding the ‘Hole Argument’
- Remodelling structural realism: quantum physics and the metaphysics of structure
- Sophistication about symmetries
- Structuralism, Invariance, and Univalence
- The hole argument in homotopy type theory
- The hole argument, take \(n\)
- The mathematical universe
- The univalence axiom in cubical sets
- Types and programing languages
- Univalent foundations as structuralist foundations
- What types should not be
- Who's afraid of coordinate systems? An essay on representation of spacetime structure
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)
