Homotopy Type Theory Analysis > history (Rev #27)

Here we collect articles about doing analysis in HoTT.

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

General

Pointwise analysis

Intervals

Differential calculus

Cauchy spaces

Real analysis

Functional analysis

References

Revision on June 1, 2022 at 22:29:15 by Anonymous?. See the history of this page for a list of all contributions to it.