Pages that link to "Item:Q5245979"
From MaRDI portal
The following pages link to Structuralism, Invariance, and Univalence (Q5245979):
Displayed 12 items.
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- What we talk about when we talk about numbers (Q1799042) (← links)
- The hole argument, take \(n\) (Q1985882) (← links)
- Can we resolve the continuum hypothesis? (Q2054119) (← links)
- A meaning explanation for HoTT (Q2054122) (← links)
- Expressing `the structure of' in homotopy type theory (Q2054123) (← links)
- Identity and intensionality in univalent foundations and philosophy (Q2695034) (← links)
- UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY (Q5241229) (← links)
- Univalent Foundations and the Equivalence Principle (Q6075424) (← links)
- Higher Structures in Homotopy Type Theory (Q6075425) (← links)
- What Do We Want a Foundation to Do? (Q6075431) (← links)
- Representation and Spacetime: The Hole Argument Revisited (Q6117147) (← links)