The following pages link to Homotopy limits in type theory (Q5740649):
Displaying 15 items.
- Bounding homotopy types by geometry (Q1109348) (← 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)
- Quasicategories of frames of cofibration categories (Q2014014) (← links)
- Homotopical inverse diagrams in categories with attributes (Q2207273) (← links)
- Frames in cofibration categories (Q2410695) (← links)
- Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
- Model structures on categories of models of type theories (Q4961720) (← links)
- (Q4989403) (← links)
- Constructive sheaf models of type theory (Q5084309) (← links)
- Nilpotent types and fracture squares in homotopy type theory (Q5139290) (← links)
- Indexed type theories (Q5156767) (← links)
- Localization in Homotopy Type Theory (Q5217587) (← links)
- The Seifert-van Kampen Theorem in Homotopy Type Theory (Q5278408) (← links)
- Homotopy groups of cubical sets (Q6149199) (← links)
