Homotopy Type Theory Rational homotopy theory > history (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

Here we collect articles about doing rational homotopy theory in HoTT

Rational homotopy theory

• rational numbers
• torsion-free divisible group
• rationalization of an abelian group
• rational homotopy type
• rationalization of a simply connected type