Univalent foundations as structuralist foundations
From MaRDI portal
Recommendations
- Structuralism, Invariance, and Univalence
- Identity and intensionality in univalent foundations and philosophy
- An introduction to univalent foundations for mathematicians
- The simplicial model of univalent foundations (after Voevodsky)
- Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18--23, 2016
Cites work
- scientific article; zbMATH DE number 6694181 (Why is no real title available?)
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 29046 (Why is no real title available?)
- scientific article; zbMATH DE number 3533138 (Why is no real title available?)
- scientific article; zbMATH DE number 1302059 (Why is no real title available?)
- scientific article; zbMATH DE number 1088533 (Why is no real title available?)
- scientific article; zbMATH DE number 1136106 (Why is no real title available?)
- scientific article; zbMATH DE number 1150559 (Why is no real title available?)
- scientific article; zbMATH DE number 2172009 (Why is no real title available?)
- A lattice of interpretability types of theories
- An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’†
- An experimental library of formalized mathematics based on the univalent foundations
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
- Cubical type theory: a constructive interpretation of the univalence axiom
- Exploring Categorical Structuralism
- Higher Topos Theory (AM-170)
- Homotopy theoretic models of identity types
- Kant on geometry and spatial intuition
- Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics
- Mathematics as a Science of Patterns: Ontology and Reference
- Numbers Can Be Just What They Have To
- Quantum gauge field theory in cohesive homotopy type theory
- Rethinking set theory
- Structuralism, Invariance, and Univalence
- The structuralist view of mathematical objects
- Three varieties of mathematical structuralism
- Univalent categories and the Rezk completion
- What is a Higher-Level Set?
- Équivalence naturelle et formules logiques en théorie des catégories
Cited in
(19)- Expressing `the structure of' in homotopy type theory
- Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18--23, 2016
- A higher structure identity principle
- Univalence as a principle of logic
- Topological quantum gates in homotopy type theory
- Predicative Aspects of Order Theory in Univalent Foundations
- Univalent foundations of mathematics and paraconsistency
- Univalence and ontic structuralism
- Universics: a theory of universes of discourse for metamathematics and foundations
- scientific article; zbMATH DE number 7599486 (Why is no real title available?)
- Structuralism, Invariance, and Univalence
- Univalent Foundations and the Equivalence Principle
- Univalent Foundations and the UniMath Library
- Identity and intensionality in univalent foundations and philosophy
- Higher Structures in Homotopy Type Theory
- Set Theory and Structures
- A meaning explanation for HoTT
- An introduction to univalent foundations for mathematicians
- What Do We Want a Foundation to Do?
This page was built for publication: Univalent foundations as structuralist foundations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1708879)
