Pages that link to "Item:Q5963045"
From MaRDI portal
The following pages link to The univalence axiom for elegant Reedy presheaves (Q5963045):
Displaying 13 items.
- Univalence in locally Cartesian closed categories (Q524707) (← links)
- Univalent completion (Q1659918) (← links)
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403) (← links)
- The homotopy theory of type theories (Q1785779) (← links)
- Construction of the circle in \textit{UniMath} (Q2031555) (← links)
- On a model invariance problem in homotopy type theory (Q2423835) (← links)
- A type theory for synthetic $\infty$-categories (Q3121017) (← links)
- (Q3121020) (← links)
- (Q6079232) (← links)
- Two-level type theory and applications (Q6149950) (← links)
- On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
- What should a generic object be? (Q6174093) (← links)
- Towards a constructive simplicial model of Univalent Foundations (Q6176777) (← links)
