The following pages link to Dimitris Tsementzis (Q1708877):
Displayed 11 items.
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- A meaning explanation for HoTT (Q2054122) (← links)
- Theoretical equivalence in classical mechanics and its relationship to duality (Q2406917) (← links)
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
- What is a Higher-Level Set? (Q4626044) (← links)
- (Q5040180) (← links)
- A Higher Structure Identity Principle (Q5145618) (← links)
- First-Order Logic with Isomorphism (Q6271319) (← links)
- A Higher Structure Identity Principle (Q6283598) (← links)
- Finite Inverse Categories as Signatures (Q6289345) (← links)
- The Univalence Principle (Q6360428) (← links)