Pages that link to "Item:Q5963045"
From MaRDI portal
The following pages link to The univalence axiom for elegant Reedy presheaves (Q5963045):
Displaying 23 items.
- Univalence in locally Cartesian closed categories (Q524707) (← links)
- Univalent completion (Q1659918) (← links)
- Univalence for inverse EI diagrams (Q1689738) (← 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)
- The Cayley-Dickson construction in homotopy type theory (Q3121020) (← links)
- Semantics of higher inductive types (Q4958656) (← links)
- The Interpretation Lifting Theorem for C-Systems (Q5025082) (← links)
- Constructive sheaf models of type theory (Q5084309) (← links)
- (Q5094128) (← links)
- A generalized Blakers–Massey theorem (Q5126439) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)
- Every Elementary Higher Topos has a Natural Number Object (Q5858943) (← 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)
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories (Q6612003) (← links)
