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

Showing changes from revision #1 to #2: 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