Pages that link to "Item:Q5145293"
From MaRDI portal
The following pages link to Higher Groups in Homotopy Type Theory (Q5145293):
Displaying 18 items.
- Homology groups of types in stable theories and the Hurewicz correspondence (Q2358628) (← links)
- Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
- Higher inductive types as homotopy-initial algebras (Q2819787) (← links)
- (Q3204678) (← links)
- (Q4989403) (← links)
- Modal descent (Q5022924) (← links)
- (Q5028473) (← links)
- Good Fibrations through the Modal Prism (Q5094695) (← links)
- Nilpotent types and fracture squares in homotopy type theory (Q5139290) (← links)
- Localization in Homotopy Type Theory (Q5217587) (← links)
- Calculating the Fundamental Group of the Circle in Homotopy Type Theory (Q5271059) (← links)
- Eilenberg-MacLane spaces and stabilisation in homotopy type theory (Q6074861) (← links)
- The Hurewicz theorem in homotopy type theory (Q6112530) (← links)
- Univalent categories of modules (Q6149909) (← links)
- The long exact sequence of homotopy <i>n</i>-groups (Q6149949) (← links)
- Non-accessible localizations (Q6564515) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- Modal fracture of higher groups (Q6614927) (← links)
