Pages that link to "Item:Q6112530"
From MaRDI portal
The following pages link to The Hurewicz theorem in homotopy type theory (Q6112530):
Displaying 6 items.
- Helly's selection theorem and the principle of local reflexivity of ordered type (Q1333615) (← links)
- The homotopy theory of type theories (Q1785779) (← links)
- Homology groups of types in stable theories and the Hurewicz correspondence (Q2358628) (← links)
- Lawvere-Tierney sheafification in Homotopy Type Theory (Q5195281) (← links)
- The Seifert-van Kampen Theorem in Homotopy Type Theory (Q5278408) (← links)
- Eilenberg-MacLane spaces and stabilisation in homotopy type theory (Q6074861) (← links)