Pages that link to "Item:Q1708879"
From MaRDI portal
The following pages link to Univalent foundations as structuralist foundations (Q1708879):
Displaying 12 items.
- Universics: a theory of universes of discourse for metamathematics and foundations (Q1650346) (← links)
- Univalence as a principle of logic (Q1788330) (← links)
- A meaning explanation for HoTT (Q2054122) (← links)
- Expressing `the structure of' in homotopy type theory (Q2054123) (← links)
- 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 (Q2112383) (← links)
- Identity and intensionality in univalent foundations and philosophy (Q2695034) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- (Q5040167) (← links)
- Structuralism, Invariance, and Univalence (Q5245979) (← links)
- Predicative Aspects of Order Theory in Univalent Foundations (Q6159924) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- Univalence and ontic structuralism (Q6586941) (← links)