The following pages link to (Q2969774):
Displaying 16 items.
- The homotopy theory of type theories (Q1785779) (← links)
- Higher inductive types as homotopy-initial algebras (Q2819787) (← links)
- Homotopy Type Theory (Q2937385) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- Pro-algebraic homotopy types (Q3525978) (← links)
- (Q4877489) (← links)
- (Q4944848) (← links)
- Homotopy Type Theory: A synthetic approach to higher equalities (Q5040166) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- Cellular Cohomology in Homotopy Type Theory (Q5145328) (← links)
- Lawvere-Tierney sheafification in Homotopy Type Theory (Q5195281) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- Localization in Homotopy Type Theory (Q5217587) (← links)
- The Seifert-van Kampen Theorem in Homotopy Type Theory (Q5278408) (← links)
- Towards Constructive Homological Algebra in Type Theory (Q5428258) (← links)
- Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)