Univalent foundations as structuralist foundations
From MaRDI portal
Publication:1708879
DOI10.1007/s11229-016-1109-xzbMath1400.03023OpenAlexW2395479267MaRDI QIDQ1708879
Publication date: 27 March 2018
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: http://philsci-archive.pitt.edu/12070/1/UF.asSF.finaldraft.pdf
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Higher Structures in Homotopy Type Theory ⋮ Set Theory and Structures ⋮ An introduction to univalent foundations for mathematicians ⋮ A meaning explanation for HoTT
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Kant on geometry and spatial intuition
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
- The structuralist view of mathematical objects
- Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics
- Three Varieties of Mathematical Structuralism†
- Rethinking Set Theory
- Homotopy theoretic models of identity types
- A lattice of interpretability types of theories
- Équivalence naturelle et formules logiques en théorie des catégories
- Exploring Categorical Structuralism
- An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’†
- Cubical Type Theory: a constructive interpretation of the univalence axiom
- What is a Higher-Level Set?
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS
- Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
- Structuralism, Invariance, and Univalence
- Numbers Can Be Just What They Have To
- Mathematics as a Science of Patterns: Ontology and Reference
- Higher Topos Theory (AM-170)
- Univalent categories and the Rezk completion
- An experimental library of formalized Mathematics based on the univalent foundations
This page was built for publication: Univalent foundations as structuralist foundations
