Homotopy Type Theory Analysis > history (Rev #38)

Here we collect articles about doing analysis in HoTT.

Cauchy sequences

• sequence
• sequential convergence space
• limit of a sequence
• sequentially Hausdorff space
• Cauchy sequence

Real numbers

• sequentially Cauchy complete Archimedean ordered field
• Cartesian space?

to be moved

• an axiomatization of the real numbers