nLab
rational numbers object

natural numbers object\hookrightarrow rational numbers object \hookrightarrow real numbers object

Created on November 6, 2014 at 19:52:39. See the history of this page for a list of all contributions to it.