Pages that link to "Item:Q4635651"

The following pages link to Eilenberg-MacLane spaces in homotopy type theory (Q4635651):

Displaying 14 items.

• The structuralist mathematical style: Bourbaki as a case study (Q2080585) (← links)
• The construction of set-truncated higher inductive types (Q2133178) (← links)
• Idempotents in intensional type theory (Q2974780) (← links)
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)
• (Q4989403) (← links)
• (Q5028473) (← links)
• Nilpotent types and fracture squares in homotopy type theory (Q5139290) (← links)
• Modalities in homotopy type theory (Q5208873) (← links)
• Localization in Homotopy Type Theory (Q5217587) (← links)
• Adjoint Logic with a 2-Category of Modes (Q5283430) (← links)
• Homotopical patch theory (Q5371976) (← links)
• Eilenberg-MacLane spaces and stabilisation in homotopy type theory (Q6074861) (← links)
• The Hurewicz theorem in homotopy type theory (Q6112530) (← links)
• The long exact sequence of homotopy <i>n</i>-groups (Q6149949) (← links)