Pages that link to "Item:Q2414596"
From MaRDI portal
The following pages link to Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596):
Displaying 6 items.
- Univalence for inverse EI diagrams (Q1689738) (← links)
- Univalence and completeness of Segal objects (Q2104885) (← links)
- (Q3792669) (← links)
- Indexed type theories (Q5156767) (← links)
- Homotopy groups of cubical sets (Q6149199) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)