nLab Escardo-Simpson real number

Contents

Idea

A notion of the real numbers which is constructed as an initial interval object.

References

Created on December 26, 2023 at 06:51:32. See the history of this page for a list of all contributions to it.