Pages that link to "Item:Q1689738"
From MaRDI portal
The following pages link to Univalence for inverse EI diagrams (Q1689738):
Displaying 11 items.
- The homotopy theory of type theories (Q1785779) (← links)
- Homotopical inverse diagrams in categories with attributes (Q2207273) (← links)
- Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
- On a model invariance problem in homotopy type theory (Q2423835) (← links)
- The Cayley-Dickson construction in homotopy type theory (Q3121020) (← links)
- (Q4448380) (← links)
- Semantics of higher inductive types (Q4958656) (← links)
- The Interpretation Lifting Theorem for C-Systems (Q5025082) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- The univalence axiom for elegant Reedy presheaves (Q5963045) (← links)
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories (Q6612003) (← links)