Homotopy Type Theory Analysis > history (Rev #37, changes)

Showing changes from revision #36 to #37: Added | Removed | Changed

Here we collect articles about doing analysis in HoTT.

Real analysis is about the study of convergence and limits of sequences and functions in Archimedean ordered fields and sequentially Cauchy complete Archimedean ordered fields.

…what are the necessary requirements for the existence of an inverse: that the field be sequentially Cauchy complete, as the Banach fixed point theorem used to prove the inverse function theorem requires the metric to be sequentially Cauchy complete.

Cauchy sequences

Real numbers

to be moved




Revision on June 12, 2022 at 00:06:56 by Anonymous?. See the history of this page for a list of all contributions to it.