Pages that link to "Item:Q5245979"
From MaRDI portal
The following pages link to Structuralism, Invariance, and Univalence (Q5245979):
Displaying 17 items.
- Unirationality of Ueno-Campana's threefold (Q470885) (← links)
- Isomorphism is equality (Q740487) (← links)
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- Univalence as a principle of logic (Q1788330) (← 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)
- Type theory and formalisation of mathematics (Q2399357) (← links)
- Identity and intensionality in univalent foundations and philosophy (Q2695034) (← links)
- (Q3758779) (← links)
- (Q5040167) (← links)
- UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY (Q5241229) (← links)
- Representation and Spacetime: The Hole Argument Revisited (Q6117147) (← links)
- Univalence and ontic structuralism (Q6586941) (← links)
- Tri-simplicial contradiction: the ``Pascalian 3D simplex'' for the oppositional tri-segment (Q6600398) (← links)