Pages that link to "Item:Q959823"
From MaRDI portal
The following pages link to The identity type weak factorisation system (Q959823):
Displaying 26 items.
- Modeling Martin-Löf type theory in categories (Q280835) (← links)
- Martin-Löf complexes (Q385803) (← links)
- Combinatorial realizability models of type theory (Q385804) (← links)
- Univalence in locally Cartesian closed categories (Q524707) (← links)
- Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
- Meaning explanations at higher dimension (Q1688954) (← links)
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403) (← links)
- A cubical model of homotopy type theory (Q1799035) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- A characterisation of elementary fibrations (Q2131276) (← links)
- Towards a directed homotopy type theory (Q2133175) (← links)
- Homotopical inverse diagrams in categories with attributes (Q2207273) (← links)
- Revisiting the categorical interpretation of dependent type theory (Q2253180) (← links)
- Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- The Local Universes Model (Q2957763) (← links)
- Homotopy-Theoretic Models of Type Theory (Q3007656) (← links)
- Natural models of homotopy type theory (Q3130300) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- Two-dimensional models of type theory (Q3395310) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)
- MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS (Q5879185) (← links)
- Martin-Löf identity types in C-systems (Q6139425) (← links)
- On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
- Towards a constructive simplicial model of Univalent Foundations (Q6176777) (← links)
