Homotopy Type Theory Analysis > history (Rev #32)

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

Pointwise analysis

Intervals

Differential calculus

References

Revision on June 10, 2022 at 04:07:38 by Anonymous?. See the history of this page for a list of all contributions to it.