The following pages link to Univalent polymorphism (Q1987219):
Displaying 7 items.
- The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
- Polymorphism and apartness (Q1182690) (← links)
- Categories of partial equivalence relations as localizations (Q2699426) (← links)
- A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)
- (Q5020553) (← links)
- On Church’s thesis in cubical assemblies (Q5055494) (← links)
- Category Theory in Coq 8.5 (Q5369495) (← links)