Homotopy Type Theory Discrete mathematics > history (Rev #15, changes)

Showing changes from revision #14 to #15: Added | Removed | Changed

These articles should be ported to the nLab or merged into the existing article on the nLab because although the concepts in many of the articles were originally developed in homotopy type theory, they are general enough that they should be of interest to classical and constructive mathematicians who do not use homotopy type theory as foundations.

Numbers

Cauchy real numbers

Other real numbers

Centipede analysis

Centipede in the sense of centipede mathematics

Intervals

Precategory theory

 Articles ported to the nLab

Revision on May 4, 2022 at 02:29:43 by Anonymous?. See the history of this page for a list of all contributions to it.